FORMAL MODELING AND ADVANCED TESTING METHODS. APPLICATIONS TO MEDICINE AND COMPUTING SYSTEMS (Q3165328)
Jump to navigation
Jump to search
Project Q3165328 in Spain
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | FORMAL MODELING AND ADVANCED TESTING METHODS. APPLICATIONS TO MEDICINE AND COMPUTING SYSTEMS |
Project Q3165328 in Spain |
Statements
45,132.13 Euro
0 references
56,023.0 Euro
0 references
80.56 percent
0 references
1 January 2019
0 references
30 September 2022
0 references
UNIVERSIDAD DE CASTILLA-LA MANCHA
0 references
2071
0 references
EL OBJETIVO PRINCIPAL DEL PROYECTO FAME (MODELADO FORMAL Y METODOS AVANZADOS DE TESTING. APLICACIONES A MEDICINA Y SISTEMAS COMPUTACIONALES) ES CONTRIBUIR, CON METODOLOGIAS Y HERRAMIENTAS, AL DESARROLLO FORMAL DE SISTEMAS SOFTWARE COMPLEJOS. DADO QUE SE TRATA DE UN AMPLIO CAMPO DE ESTUDIO, Y TENIENDO EN CUENTA LA EXPERIENCIA PREVIA DE LOS GRUPOS QUE CONFORMAN FAME, EL PROYECTO SE CENTRARA ESPECIALMENTE EN LA MODELIZACION Y ANALISIS FORMAL, MEDIANTE TECNICAS DE PRUEBA, DE DIVERSOS TIPOS DE SISTEMAS. EL PROYECTO FAME SURGE A PARTIR DE LOS RESULTADOS OBTENIDOS EN EL CONTEXTO DE LOS PROYECTOS TESIS (TIN2009-14312-C02), MODSOA (TIN2011-27242), ESTUDIO (TIN2012-36812-C02) Y DARDOS (TIN2015-65845-C3-R). CABE MENCIONAR QUE CUATRO DE LOS IPS (1 DE LA UCM, 2 DE LA UCA Y 1 DE LA UCLM) SON MUJERES._x000D_ FAME SE BENEFICIARA DE UN ENFOQUE TEORICO PARA LOGRAR SUS OBJETIVOS. SIN EMBARGO, NO POR ELLO SE LE DARA MENOS RELEVANCIA A LA APLICACION PRACTICA DE LOS RESULTADOS. HEMOS CONSIDERADO DOS LINEAS DE TRABAJO PRINCIPALES: MODELADO Y PRUEBA. PARA LOGRAR EL PRIMER OBJETIVO GENERAL ¿LAS APLICACIONES DEL MODELADO¿, HAREMOS USO DE TRABAJO PREVIO EN MODELOS FORMALES PARA FORMALIZAR DIFERENTES TIPOS DE SISTEMAS Y NOTACIONES, CON ESPECIAL ENFASIS EN EL PROCESAMIENTO DE EVENTOS Y LOS CONTRATOS ELECTRONICOS. ADEMAS, APLICAREMOS TAMBIEN METODOS FORMALES AL DISEÑO Y ANALISIS DE ARQUITECTURAS Y APLICACIONES QUE SE EJECUTAN EN LA NUBE. CON EL FIN DE LOGRAR NUESTRO SEGUNDO OBJETIVO GENERAL, LOS METODOS DE PRUEBA AVANZADOS, ESTUDIAREMOS NUEVOS MARCOS DE TRABAJO PARA REALIZAR PRUEBAS FORMALES DE DIFERENTES TIPOS DE SISTEMAS Y LENGUAJES DE PROGRAMACION AMPLIAMENTE UTILIZADOS. ADEMAS DEL TRABAJO TEORICO, TODOS LOS OBJETIVOS GENERALES INCLUIRAN EL DESARROLLO DE HERRAMIENTAS QUE AYUDARAN A PONER EN PRACTICA LAS METODOLOGIAS Y LOS RESULTADOS TEORICOS. HEMOS CONSIDERADO OTRO OBJETIVO GENERAL DEDICADO A CASOS DE ESTUDIOS RELACIONADOS CON EL ANALISIS Y LA PREVENCION DE PROBLEMAS DE SALUD. SI BIEN TOMAREMOS COMO PUNTO DE PARTIDA LOS RESULTADOS Y HERRAMIENTAS PRODUCIDAS EN EL PROYECTO DARDOS, TAMBIEN ABRIREMOS NUEVAS LINEAS DE TRABAJO. EN PARTICULAR, EN ESTE ULTIMO OBJETIVO CONSIDERAMOS (1) DETECTAR PROBLEMAS RELACIONADOS CON CONTAMINANTES Y OTRAS PARTICULAS AEROTRANSPORTADAS Y ADVERTIR A LOS CIUDADANOS SOBRE PELIGROS POTENCIALES PARA SU SALUD; (2) ANALIZAR IMAGENES QUIRURGICAS DE FORMA SEMIAUTOMATICA CON EL FIN DE APOYAR REMOTAMENTE LA TOMA DE DECISIONES PARA EL TRATAMIENTO DE ENFERMEDADES; (3) FACILITAR AL ANALISIS Y DETECCION DE LA ENFERMEDAD CELIACA. POR TODO ELLO, ESPERAMOS QUE EL PROYECTO TENGA UN ALTO IMPACTO SOCIAL, YA QUE PUEDE CONTRIBUIR POTENCIALMENTE A LA SOSTENIBILIDAD Y EFICIENCIA DEL SISTEMA NACIONAL DE SALUD, SI SOMOS CAPACES DE PRODUCIR RESULTADOS Y HERRAMIENTAS QUE PUEDAN SER UTILIZADOS EN LA PRACTICA._x000D_ FINALMENTE, CABE MENCIONAR QUE ADEMAS DEL IMPACTO DE NUESTROS RESULTADOS EN LA COMUNIDAD CIENTIFICA NACIONAL E INTERNACIONAL, MEDIANTE SU PUBLICACION EN FOROS RELEVANTES, Y DEL POSIBLE Y DESEABLE IMPACTO EN LA PREVENCION DE RIESGOS PARA LA SALUD; ESPERAMOS QUE NUESTRO PROYECTO TENGA UN IMPACTO ECONOMICO A MEDIO PLAZO. UN NUMERO CONSIDERABLE DE EMPRESAS HAN MOSTRADO SU INTERES EN PARTICIPAR EN EL PROYECTO FAME. EN PARTICULAR, LAS EMPRESAS QUE PARTICIPEN EN LAS FASES DE DESARROLLO DE SOFTWARE PODRAN EVALUAR LA UTILIDAD DE NUESTRAS HERRAMIENTAS Y DECIDIR SI PUEDEN SER INCLUIDAS EN SUS CICLOS DE PRODUCCION. (Spanish)
0 references
THE MAIN GOAL OF THE FAME PROJECT (FORMAL MODELING AND ADVANCED TESTING METHODS. APPLICATIONS TO MEDICINE AND COMPUTING SYSTEMS) IS TO CONTRIBUTE, WITH METHODOLOGIES AND TOOLS, TO THE FORMAL DEVELOPMENT OF COMPLEX SOFTWARE SYSTEMS. GIVEN THE FACT THAT THIS IS A BROAD FIELD OF STUDY, AND TAKING INTO ACCOUNT THE PREVIOUS EXPERIENCE OF THE GROUPS CONFORMING FAME, WE WILL PAY SPECIAL ATTENTION TO THE MODELING AND FORMAL ANALYSIS, USING TESTING TECHNIQUES, OF SYSTEMS. THE FAME PROJECT BUILDS ON TOP OF THE RESULTS PRODUCED IN THE CONTEXT OF THE TESIS (TIN2009-14312-C02), MODSOA (TIN2011-27242), ESTUDIO (TIN2012-36812-C02), AND DARDOS (TIN2015-65845-C3-R) PROJECTS. IT IS WORTH MENTIONING THAT FOUR OF THE PIS (1 FROM UCM, 2 FROM UCA AND 1 FROM UCLM) ARE WOMEN._x000D_ THE FAME PROJECT WILL CONSIDER A THEORETICAL APPROACH IN ORDER TO ACCOMPLISH ITS MAIN GOALS. HOWEVER, THE PROJECT DOES NOT LEAVE ASIDE THE APPLICATION OF THE OBTAINED RESULTS. WE CONSIDER TWO MAIN LINES OF WORK: MODELING AND TESTING. IN ORDER TO ACHIEVE THE FIRST GENERAL OBJECTIVE, APPLICATIONS OF MODELING, WE WILL APPLY PREVIOUS WORK ON FORMAL MODELS TO FORMALIZE DIFFERENT TYPES OF SYSTEMS AND NOTATIONS, WITH A FOCUS ON ELECTRONIC CONTRACTS AND EVENTS PROCESSING. WE WILL FORMALIZE THE CLOUD, APPLYING FORMAL METHODS TO THE DESIGN AND ANALYSIS OF CLOUD ARCHITECTURES AND OF THE APPLICATIONS RUNNING IN THE CLOUD. IN ORDER TO ACHIEVE OUR SECOND GENERAL OBJECTIVE, ADVANCED TESTING METHODS, WE WILL STUDY NEW FRAMEWORKS TO PERFORM FORMAL TESTING OF DIFFERENT TYPES OF SYSTEMS AND OF DIFFERENT WIDELY USED LANGUAGES. IN ADDITION TO THE THEORETICAL WORK, ALL THE GENERAL OBJECTIVES WILL INCLUDE THE DEVELOPMENT OF TOOLS. THESE TOOLS WILL HELP TO PUT IN PRACTICE THE METHODOLOGIES AND THEORETICAL RESULTS. WE HAVE CONSIDERED ANOTHER GENERAL OBJECTIVE DEVOTED TO CASE STUDIES DEALING WITH THE ANALYSIS AND PREVENTION OF HEALTH PROBLEMS. WE WILL TAKE AS A STARTING POINT THE RESULTS AND TOOLS PRODUCED IN THE DARDOS PROJECT BUT WE OPEN COMPLETELY NEW LINES OF WORK. SPECIFICALLY, IN THIS LAST GOAL WE CONSIDER (1) DETECTING PROBLEMS RELATED TO AIR POLLUTANTS AND ADDITIONAL AIRBORNE PARTICLES AND WARNING CITIZENS ABOUT POTENTIAL HAZARDS; (2) SEMI-AUTOMATIC ANALYZING CHIRURGICAL IMAGES, IN PARTICULAR, TO REMOTELY SUPPORT DECISION-TAKING FOR THE TREATMENT OF ILLNESSES; (3) SUPPORTING THE ANALYSIS AND DETECTION OF THE CELIAC DISEASE. THEREFORE, WE HOPE THAT THE PROJECT HAS A SOCIAL IMPACT SINCE IT CAN POTENTIALLY CONTRIBUTE TO THE SUSTAINABILITY AND EFFICIENCY OF THE NATIONAL HEALTH PUBLIC SYSTEM IF WE ARE ABLE TO PRODUCE RESULTS AND TOOLS THAT CAN BE USED IN PRACTICE. FINALLY, WE CAN MENTION THAT IN ADDITION TO THE IMPACT OF OUR RESULTS ON THE NATIONAL AND INTERNATIONAL SCIENTIFIC COMMUNITIES, BY PUBLISHING OUR RESULTS IN RELEVANT FORUMS, AND OF THE POSSIBLE AND DESIRABLE IMPACT IN HEALTH RISK PREVENTION, WE HOPE THAT OUR PROJECT WILL HAVE AN ECONOMIC IMPACT IN THE MID-TERM. A CONSIDERABLE NUMBER OF COMPANIES HAVE SHOWN THEIR INTEREST IN GETTING INVOLVED IN THE FAME PROJECT. IN PARTICULAR, COMPANIES THAT PARTICIPATE IN THE SOFTWARE DEVELOPMENT STAGES WILL BE ABLE TO EVALUATE THE USEFULNESS OF OUR TOOLS AND DECIDE WHETHER THEY CAN BE INCLUDED IN THEIR PRODUCTION CYCLES. (English)
0.4025533202566896
0 references
L’OBJECTIF PRINCIPAL DU PROJET DE RENOMMÉE (MODÉLISATION FORMELLE ET MÉTHODES D’ESSAI AVANCÉES. APPLICATIONS À LA MÉDECINE ET AUX SYSTÈMES INFORMATIQUES) EST DE CONTRIBUER, AVEC DES MÉTHODES ET DES OUTILS, AU DÉVELOPPEMENT FORMEL DE SYSTÈMES LOGICIELS COMPLEXES. ÉTANT DONNÉ QU’IL S’AGIT D’UN VASTE CHAMP D’ÉTUDE ET COMPTE TENU DE L’EXPÉRIENCE ANTÉRIEURE DES GROUPES QUI COMPOSENT LA RENOMMÉE, LE PROJET SE CONCENTRERA EN PARTICULIER SUR LA MODÉLISATION ET L’ANALYSE FORMELLES, AU MOYEN DE TECHNIQUES D’ESSAI, DE DIFFÉRENTS TYPES DE SYSTÈMES. LE PROJET DE RENOMMÉE DÉCOULE DES RÉSULTATS OBTENUS DANS LE CADRE DES PROJETS DE THÈSE (TIN2009-14312-C02), MODSOA (TIN2011-27242), ÉTUDE (TIN2012-36812-C02) ET FLÉCHETTES (TIN2015-65845-C3-R). Il devrait être préférable que quatre des IPS (1 UCM, 2 UCA et 1 UCLM) soient des femmes._x000D_ FAME bénéficierait d’une orientation théorique pour atteindre leurs objectifs. TOUTEFOIS, IL NE SERA PAS MOINS PERTINENT POUR L’APPLICATION PRATIQUE DES RÉSULTATS. NOUS AVONS ENVISAGÉ DEUX GRANDES LIGNES DE TRAVAIL: MODÉLISATION ET ESSAIS. AFIN D’ATTEINDRE LE PREMIER OBJECTIF GÉNÉRAL, LES APPLICATIONS DE MODÉLISATION UTILISERONT LES TRAVAUX ANTÉRIEURS SUR DES MODÈLES FORMELS POUR FORMALISER DIFFÉRENTS TYPES DE SYSTÈMES ET DE NOTATIONS, EN METTANT PARTICULIÈREMENT L’ACCENT SUR LE TRAITEMENT DES ÉVÉNEMENTS ET LES CONTRATS ÉLECTRONIQUES. EN OUTRE, NOUS APPLIQUERONS ÉGALEMENT DES MÉTHODES FORMELLES À LA CONCEPTION ET À L’ANALYSE DES ARCHITECTURES ET DES APPLICATIONS QUI S’EXÉCUTENT DANS LE CLOUD. AFIN D’ATTEINDRE NOTRE DEUXIÈME OBJECTIF GÉNÉRAL, LES MÉTHODES DE TEST AVANCÉES, NOUS ÉTUDIERONS DE NOUVEAUX CADRES DE TESTS FORMELS DE DIFFÉRENTS TYPES DE SYSTÈMES DE PROGRAMMATION ET DE LANGUES LARGEMENT UTILISÉS. OUTRE LE TRAVAIL THÉORIQUE, TOUS LES OBJECTIFS GÉNÉRAUX INCLURONT LE DÉVELOPPEMENT D’OUTILS QUI AIDERONT À METTRE EN PRATIQUE DES MÉTHODES ET DES RÉSULTATS THÉORIQUES. NOUS AVONS ENVISAGÉ UN AUTRE OBJECTIF GÉNÉRAL CONSACRÉ AUX ÉTUDES DE CAS LIÉES À L’ANALYSE ET À LA PRÉVENTION DES PROBLÈMES DE SANTÉ. ALORS QUE NOUS ALLONS PRENDRE COMME POINT DE DÉPART LES RÉSULTATS ET LES OUTILS PRODUITS DANS LE PROJET DE FLÉCHETTES, NOUS OUVRIRONS ÉGALEMENT DE NOUVELLES LIGNES DE TRAVAIL. EN PARTICULIER, DANS CE DERNIER OBJECTIF, NOUS ENVISAGEONS (1) D’IDENTIFIER LES PROBLÈMES LIÉS AUX POLLUANTS ET AUTRES PARTICULES EN SUSPENSION DANS L’AIR ET D’AVERTIR LES CITOYENS DES DANGERS POTENTIELS POUR LA SANTÉ; (2) ANALYSER LES IMAGES CHIRURGICALES DE MANIÈRE SEMI-AUTOMATIQUE AFIN DE SOUTENIR À DISTANCE LA PRISE DE DÉCISION POUR LE TRAITEMENT DES MALADIES; (3) FACILITER L’ANALYSE ET LA DÉTECTION DE LA MALADIE CŒLIAQUE. Pour tout cela, espérons que le projet a un impact social élevé, et qu’il peut affecter la durabilité et l’efficacité du SYSTÈME DE SANTÉ NATIONALE, si nous sommes capables de produire des résultats et des outils pouvant être utilisés dans le PRACTICA._x000D_ FINALENT, il est nécessaire d’améliorer l’impact de nos découvertes au sein de la communauté scientifique nationale et internationale, grâce à leur présence dans des forums éloignés, et de l’impact potentiel et souhaitable des risques pour la santé; NOUS ESPÉRONS QUE NOTRE PROJET AURA UN IMPACT ÉCONOMIQUE À MOYEN TERME. UN NOMBRE CONSIDÉRABLE D’ENTREPRISES ONT MANIFESTÉ LEUR INTÉRÊT À PARTICIPER AU PROJET DE RENOMMÉE. EN PARTICULIER, LES ENTREPRISES IMPLIQUÉES DANS LES PHASES DE DÉVELOPPEMENT LOGICIEL PEUVENT ÉVALUER L’UTILITÉ DE NOS OUTILS ET DÉCIDER S’ILS PEUVENT ÊTRE INCLUS DANS LEURS CYCLES DE PRODUCTION. (French)
4 December 2021
0 references
DAS HAUPTZIEL DES RUHM-PROJEKTS (FORMALE MODELLIERUNG UND FORTGESCHRITTENE TESTMETHODEN). ANWENDUNGEN IN MEDIZIN UND COMPUTERSYSTEMEN) SOLL MIT METHODEN UND WERKZEUGEN ZUR FORMALEN ENTWICKLUNG KOMPLEXER SOFTWARESYSTEME BEITRAGEN. DA ES SICH HIERBEI UM EIN BREITES STUDIENGEBIET HANDELT, UND UNTER BERÜCKSICHTIGUNG DER BISHERIGEN ERFAHRUNGEN DER RUHMGRUPPEN, WIRD SICH DAS PROJEKT INSBESONDERE AUF DIE FORMALE MODELLIERUNG UND ANALYSE VERSCHIEDENER ARTEN VON SYSTEMEN MITTELS TESTTECHNIKEN KONZENTRIEREN. DAS RUHM-PROJEKT ERGIBT SICH AUS DEN ERGEBNISSEN DER DISSERTATIONSPROJEKTE (TIN2009-14312-C02), MODSOA (TIN2011-27242), STUDIE (TIN2012-36812-C02) UND DARTS (TIN2015-65845-C3-R). Es sollte besser sein, dass vier der IPS (1 UCM, 2 UCA und 1 UCLM) Frauen sind._x000D_ FAME würde von einem theoretischen Fokus zur Erreichung ihrer Ziele profitieren. FÜR DIE PRAKTISCHE ANWENDUNG DER ERGEBNISSE WIRD JEDOCH NICHT WENIGER RELEVANT SEIN. WIR HABEN ZWEI HAUPTARBEITSLINIEN IN BETRACHT GEZOGEN: MODELLIERUNG UND PRÜFUNG. UM DAS ERSTE ALLGEMEINE ZIEL ZU ERREICHEN, WERDEN BEI DER MODELLIERUNG VON ANWENDUNGEN FRÜHERE ARBEITEN AN FORMALEN MODELLEN GENUTZT, UM VERSCHIEDENE ARTEN VON SYSTEMEN UND NOTATIONEN ZU FORMALISIEREN, WOBEI BESONDERES AUGENMERK AUF DIE ABWICKLUNG VON VERANSTALTUNGEN UND ELEKTRONISCHEN VERTRÄGEN GELEGT WIRD. DARÜBER HINAUS WERDEN WIR AUCH FORMALE METHODEN FÜR DIE GESTALTUNG UND ANALYSE VON ARCHITEKTUREN UND ANWENDUNGEN ANWENDEN, DIE IN DER CLOUD LAUFEN. UM UNSER ZWEITES ALLGEMEINES ZIEL, FORTSCHRITTLICHE TESTMETHODEN ZU ERREICHEN, WERDEN WIR NEUE RAHMENBEDINGUNGEN FÜR DIE FORMALE PRÜFUNG VERSCHIEDENER ARTEN VON WEIT VERBREITETEN PROGRAMMIERSYSTEMEN UND SPRACHEN UNTERSUCHEN. NEBEN DER THEORETISCHEN ARBEIT WERDEN ALLE ALLGEMEINEN ZIELE DIE ENTWICKLUNG VON INSTRUMENTEN UMFASSEN, DIE DAZU BEITRAGEN, METHODEN UND THEORETISCHE ERGEBNISSE IN DIE PRAXIS UMZUSETZEN. WIR HABEN EIN WEITERES ALLGEMEINES ZIEL FÜR FALLSTUDIEN IM ZUSAMMENHANG MIT DER ANALYSE UND PRÄVENTION VON GESUNDHEITSPROBLEMEN IN BETRACHT GEZOGEN. WÄHREND WIR ALS AUSGANGSPUNKT DIE ERGEBNISSE UND WERKZEUGE DES DART-PROJEKTS NUTZEN WERDEN, WERDEN WIR AUCH NEUE ARBEITSLINIEN ERÖFFNEN. INSBESONDERE IN DIESEM LETZTEN ZIEL BETRACHTEN WIR (1), PROBLEME IM ZUSAMMENHANG MIT SCHADSTOFFEN UND ANDEREN LUFTPARTIKELN ZU IDENTIFIZIEREN UND DIE BÜRGER VOR POTENZIELLEN GESUNDHEITSGEFAHREN ZU WARNEN; (2) CHIRURGISCHE BILDER HALBAUTOMATISCH ANALYSIEREN, UM DIE ENTSCHEIDUNGSFINDUNG BEI DER BEHANDLUNG VON KRANKHEITEN AUS DER FERNE ZU UNTERSTÜTZEN; (3) ERLEICHTERN DIE ANALYSE UND DEN NACHWEIS VON ZÖLIAKIE. Lassen Sie uns für alle hoffen, dass das Projekt eine hohe soziale Wirkung hat und die Nachhaltigkeit und Effizienz des NATIONALEN HEALTH-SYSTEMs beeinträchtigen kann, wenn wir in der Lage sind, Ergebnisse und Werkzeuge zu produzieren, die in der PRACTICA eingesetzt werden können._x000D_ FINALENT, es ist notwendig, die Wirkung unserer Erkenntnisse in der nationalen und internationalen Wissenschaftsgemeinschaft durch ihre Präsenz in entfernten Foren und die potenziellen und wünschenswerten Auswirkungen von Gesundheitsrisiken zu verbessern; WIR HOFFEN, DASS UNSER PROJEKT MITTELFRISTIG WIRTSCHAFTLICHE AUSWIRKUNGEN HABEN WIRD. EINE BETRÄCHTLICHE ANZAHL VON UNTERNEHMEN HAT IHR INTERESSE AN DER TEILNAHME AM RUHM-PROJEKT BEKUNDET. INSBESONDERE UNTERNEHMEN, DIE AN DEN ENTWICKLUNGSPHASEN DER SOFTWARE BETEILIGT SIND, KÖNNEN DEN NUTZEN UNSERER TOOLS BEWERTEN UND ENTSCHEIDEN, OB SIE IN IHRE PRODUKTIONSZYKLEN EINBEZOGEN WERDEN KÖNNEN. (German)
9 December 2021
0 references
DE BELANGRIJKSTE DOELSTELLING VAN HET ROEMPROJECT (FORMELE MODELLERING EN GEAVANCEERDE TESTMETHODEN. TOEPASSINGEN IN DE GENEESKUNDE EN COMPUTERSYSTEMEN) MOET MET METHODEN EN INSTRUMENTEN BIJDRAGEN AAN DE FORMELE ONTWIKKELING VAN COMPLEXE SOFTWARESYSTEMEN. AANGEZIEN DIT EEN BREED STUDIETERREIN IS, EN REKENING HOUDEND MET DE EERDERE ERVARINGEN VAN DE GROEPEN DIE ROEM VORMEN, ZAL HET PROJECT ZICH MET NAME RICHTEN OP DE FORMELE MODELLERING EN ANALYSE, DOOR MIDDEL VAN TESTTECHNIEKEN, VAN VERSCHILLENDE SOORTEN SYSTEMEN. HET ROEMPROJECT VLOEIT VOORT UIT DE RESULTATEN DIE ZIJN VERKREGEN IN HET KADER VAN DE PROEFSCHRIFTENPROJECTEN (TIN2009-14312-C02), MODSOA (TIN2011-27242), STUDIE (TIN2012-36812-C02) EN DARTS (TIN2015-65845-C3-R). Het zou beter moeten zijn dat vier van de IPS (1 UCM, 2 UCA en 1 UCLM) vrouwen zijn._x000D_ FAME zou profiteren van een theoretische focus om hun doelstellingen te bereiken. ER ZAL ECHTER NIET MINDER BELANG WORDEN GEHECHT AAN DE PRAKTISCHE TOEPASSING VAN DE RESULTATEN. WE HEBBEN TWEE HOOFDLIJNEN OVERWOGEN: MODELLERING EN TESTEN. OM DE EERSTE ALGEMENE DOELSTELLING TE BEREIKEN, ZAL BIJ HET MODELLEREN VAN TOEPASSINGEN GEBRUIK WORDEN GEMAAKT VAN EERDERE WERKZAAMHEDEN MET BETREKKING TOT FORMELE MODELLEN OM VERSCHILLENDE SOORTEN SYSTEMEN EN NOTATIES TE FORMALISEREN, MET BIJZONDERE NADRUK OP EVENEMENTENVERWERKING EN ELEKTRONISCHE CONTRACTEN. DAARNAAST ZULLEN WE OOK FORMELE METHODEN TOEPASSEN OP HET ONTWERP EN DE ANALYSE VAN ARCHITECTUREN EN APPLICATIES DIE IN DE CLOUD DRAAIEN. OM ONS TWEEDE ALGEMENE DOEL TE BEREIKEN, GEAVANCEERDE TESTMETHODEN, ZULLEN WE NIEUWE KADERS BESTUDEREN VOOR HET FORMEEL TESTEN VAN VERSCHILLENDE SOORTEN WIJDVERBREIDE PROGRAMMEERSYSTEMEN EN TALEN. NAAST THEORETISCH WERK ZULLEN ALLE ALGEMENE DOELSTELLINGEN BESTAAN UIT DE ONTWIKKELING VAN INSTRUMENTEN OM METHODEN EN THEORETISCHE RESULTATEN IN DE PRAKTIJK TE BRENGEN. WE HEBBEN EEN ANDERE ALGEMENE DOELSTELLING OVERWOGEN DIE IS GEWIJD AAN CASESTUDIES MET BETREKKING TOT DE ANALYSE EN PREVENTIE VAN GEZONDHEIDSPROBLEMEN. TERWIJL WE DE RESULTATEN EN TOOLS DIE IN HET DART PROJECT ZIJN GEPRODUCEERD ALS UITGANGSPUNT NEMEN, ZULLEN WE OOK NIEUWE WERKLIJNEN OPENEN. IN DEZE LAATSTE DOELSTELLING OVERWEGEN WIJ MET NAME (1) PROBLEMEN IN VERBAND MET VERONTREINIGENDE STOFFEN EN ANDERE DEELTJES IN DE LUCHT IN KAART TE BRENGEN EN BURGERS TE WAARSCHUWEN VOOR MOGELIJKE GEZONDHEIDSRISICO’S; (2) CHIRURGISCHE BEELDEN SEMI-AUTOMATISCH ANALYSEREN OM BESLUITVORMING VOOR DE BEHANDELING VAN ZIEKTEN OP AFSTAND TE ONDERSTEUNEN; (3) DE ANALYSE EN OPSPORING VAN COELIAKIE VERGEMAKKELIJKEN. Laten we hopen dat het project een grote maatschappelijke impact heeft en dat het van invloed kan zijn op de duurzaamheid en efficiëntie van het NATIONAL HEALTH SYSTEM, als we in staat zijn om resultaten en instrumenten te produceren die kunnen worden gebruikt in de PRACTICA._x000D_ FINALENT, is het noodzakelijk om de impact van onze bevindingen op de nationale en internationale wetenschappelijke gemeenschap te verbeteren door hun aanwezigheid in externe fora, en van de potentiële en wenselijke impact van gezondheidsrisico’s; WIJ HOPEN DAT ONS PROJECT OP MIDDELLANGE TERMIJN EEN ECONOMISCHE IMPACT ZAL HEBBEN. EEN AANZIENLIJK AANTAL BEDRIJVEN HEEFT BLIJK GEGEVEN VAN BELANGSTELLING VOOR DEELNAME AAN HET ROEMPROJECT. MET NAME BEDRIJVEN DIE BETROKKEN ZIJN BIJ DE ONTWIKKELINGSFASEN VAN SOFTWARE KUNNEN HET NUT VAN ONZE TOOLS BEOORDELEN EN BESLISSEN OF ZE IN HUN PRODUCTIECYCLI KUNNEN WORDEN OPGENOMEN. (Dutch)
17 December 2021
0 references
L'OBIETTIVO PRINCIPALE DEL PROGETTO DI FAMA (MODELLAZIONE FORMALE E METODI DI PROVA AVANZATI. APPLICAZIONI PER LA MEDICINA E SISTEMI INFORMATICI) È QUELLO DI CONTRIBUIRE, CON METODI E STRUMENTI, ALLO SVILUPPO FORMALE DI SISTEMI SOFTWARE COMPLESSI. DATO CHE SI TRATTA DI UN AMPIO CAMPO DI STUDIO, E TENENDO CONTO DELLA PRECEDENTE ESPERIENZA DEI GRUPPI CHE COMPONGONO LA FAMA, IL PROGETTO SI CONCENTRERÀ IN PARTICOLARE SULLA MODELLIZZAZIONE E L'ANALISI FORMALI, MEDIANTE TECNICHE DI PROVA, DI VARI TIPI DI SISTEMI. IL PROGETTO DI FAMA NASCE DAI RISULTATI OTTENUTI NELL'AMBITO DEI PROGETTI DI TESI (TIN2009-14312-C02), MODSOA (TIN2011-27242), STUDIO (TIN2012-36812-C02) E FRECCETTE (TIN2015-65845-C3-R). Dovrebbe essere meglio che quattro degli IPS (1 UCM, 2 UCA e 1 UCLM) siano donne._x000D_ FAME trarrebbe vantaggio da un focus teorico per raggiungere i loro obiettivi. TUTTAVIA, NON SARÀ DATA MENO IMPORTANZA ALL'APPLICAZIONE PRATICA DEI RISULTATI. ABBIAMO PRESO IN CONSIDERAZIONE DUE LINEE DI LAVORO PRINCIPALI: MODELLAZIONE E TEST. AL FINE DI RAGGIUNGERE IL PRIMO OBIETTIVO GENERALE, LE APPLICAZIONI DI MODELLAZIONE SI AVVARRANNO DI PRECEDENTI LAVORI SU MODELLI FORMALI PER FORMALIZZARE DIVERSI TIPI DI SISTEMI E NOTAZIONI, CON PARTICOLARE ATTENZIONE ALL'ELABORAZIONE DI EVENTI E AI CONTRATTI ELETTRONICI. INOLTRE, APPLICHEREMO ANCHE METODI FORMALI PER LA PROGETTAZIONE E L'ANALISI DI ARCHITETTURE E APPLICAZIONI CHE ESEGUONO NEL CLOUD. AL FINE DI RAGGIUNGERE IL NOSTRO SECONDO OBIETTIVO GENERALE, METODI DI TEST AVANZATI, STUDIEREMO NUOVI FRAMEWORK PER IL TEST FORMALE DI DIVERSI TIPI DI SISTEMI E LINGUAGGI DI PROGRAMMAZIONE AMPIAMENTE UTILIZZATI. OLTRE AL LAVORO TEORICO, TUTTI GLI OBIETTIVI GENERALI COMPRENDERANNO LO SVILUPPO DI STRUMENTI CHE CONTRIBUIRANNO A METTERE IN PRATICA METODI E RISULTATI TEORICI. ABBIAMO CONSIDERATO UN ALTRO OBIETTIVO GENERALE DEDICATO AGLI STUDI DI CASI RELATIVI ALL'ANALISI E ALLA PREVENZIONE DEI PROBLEMI SANITARI. MENTRE PRENDEREMO COME PUNTO DI PARTENZA I RISULTATI E GLI STRUMENTI PRODOTTI NEL PROGETTO DI FRECCETTE, APRIREMO ANCHE NUOVE LINEE DI LAVORO. IN PARTICOLARE, IN QUEST'ULTIMO OBIETTIVO, LA CORTE PRENDE IN CONSIDERAZIONE (1) L'INDIVIDUAZIONE DEI PROBLEMI RELATIVI AGLI INQUINANTI E AD ALTRE PARTICELLE NELL'ARIA E L'AVVISO AI CITTADINI DI POTENZIALI RISCHI PER LA SALUTE; (2) ANALIZZARE LE IMMAGINI CHIRURGICHE SEMI-AUTOMATICAMENTE AL FINE DI SOSTENERE A DISTANZA IL PROCESSO DECISIONALE PER IL TRATTAMENTO DELLE MALATTIE; (3) FACILITARE L'ANALISI E L'INDIVIDUAZIONE DELLA CELIACHIA. Per tutto questo, speriamo che il progetto abbia un alto impatto sociale, e che possa incidere sulla sostenibilità e sull'efficienza del SISTEMA NAZIONALE SALUTE, se siamo in grado di produrre risultati e strumenti che possono essere utilizzati nella PRACTICA._x000D_ FINALENT, è necessario migliorare l'impatto dei nostri risultati nella comunità scientifica nazionale e internazionale, attraverso la loro presenza in forum remoti, e dell'impatto potenziale e auspicabile dei rischi per la salute; CI AUGURIAMO CHE IL NOSTRO PROGETTO ABBIA UN IMPATTO ECONOMICO A MEDIO TERMINE. UN NUMERO CONSIDEREVOLE DI AZIENDE HA DIMOSTRATO IL PROPRIO INTERESSE A PARTECIPARE AL PROGETTO DI FAMA. IN PARTICOLARE, LE AZIENDE COINVOLTE NELLE FASI DI SVILUPPO SOFTWARE POSSONO VALUTARE L'UTILITÀ DEI NOSTRI STRUMENTI E DECIDERE SE POSSONO ESSERE INCLUSI NEI LORO CICLI DI PRODUZIONE. (Italian)
16 January 2022
0 references
Ο ΚΎΡΙΟΣ ΣΤΌΧΟΣ ΤΟΥ ΈΡΓΟΥ ΦΉΜΗΣ (ΤΥΠΙΚΉ ΜΟΝΤΕΛΟΠΟΊΗΣΗ ΚΑΙ ΠΡΟΗΓΜΈΝΕΣ ΜΈΘΟΔΟΙ ΔΟΚΙΜΏΝ. ΕΦΑΡΜΟΓΈΣ ΣΤΗΝ ΙΑΤΡΙΚΉ ΚΑΙ ΥΠΟΛΟΓΙΣΤΙΚΆ ΣΥΣΤΉΜΑΤΑ) ΕΊΝΑΙ ΝΑ ΣΥΜΒΆΛΕΙ, ΜΕ ΜΕΘΟΔΟΛΟΓΊΕΣ ΚΑΙ ΕΡΓΑΛΕΊΑ, ΣΤΗΝ ΕΠΊΣΗΜΗ ΑΝΆΠΤΥΞΗ ΣΎΝΘΕΤΩΝ ΣΥΣΤΗΜΆΤΩΝ ΛΟΓΙΣΜΙΚΟΎ. ΔΕΔΟΜΈΝΟΥ ΌΤΙ ΠΡΌΚΕΙΤΑΙ ΓΙΑ ΈΝΑ ΕΥΡΎ ΠΕΔΊΟ ΜΕΛΈΤΗΣ, ΚΑΙ ΛΑΜΒΆΝΟΝΤΑΣ ΥΠΌΨΗ ΤΗΝ ΠΡΟΗΓΟΎΜΕΝΗ ΕΜΠΕΙΡΊΑ ΤΩΝ ΟΜΆΔΩΝ ΠΟΥ ΣΥΜΜΟΡΦΏΝΟΝΤΑΙ ΜΕ ΤΗ ΦΉΜΗ, ΘΑ ΔΏΣΟΥΜΕ ΙΔΙΑΊΤΕΡΗ ΠΡΟΣΟΧΉ ΣΤΗΝ ΜΟΝΤΕΛΟΠΟΊΗΣΗ ΚΑΙ ΤΗΝ ΕΠΊΣΗΜΗ ΑΝΆΛΥΣΗ, ΧΡΗΣΙΜΟΠΟΙΏΝΤΑΣ ΤΕΧΝΙΚΈΣ ΔΟΚΙΜΏΝ, ΤΩΝ ΣΥΣΤΗΜΆΤΩΝ. ΤΟ ΈΡΓΟ ΦΉΜΗΣ ΒΑΣΊΖΕΤΑΙ ΣΤΑ ΑΠΟΤΕΛΈΣΜΑΤΑ ΠΟΥ ΠΡΟΈΚΥΨΑΝ ΣΤΟ ΠΛΑΊΣΙΟ ΤΩΝ ΈΡΓΩΝ TESIS (TIN2009-14312-C02), MODSOA (TIN2011-27242), ESTUDIO (TIN2012-36812-C02) ΚΑΙ DARDOS (TIN2015-65845-C3-R). Το FAME PROJECT θα αποτελέσει θεαματική αίτηση για τη χορήγηση άδειας για την παροχή υπηρεσιών. ΩΣΤΌΣΟ, ΤΟ ΣΧΈΔΙΟ ΔΕΝ ΑΠΟΚΛΕΊΕΙ ΤΗΝ ΕΦΑΡΜΟΓΉ ΤΩΝ ΑΠΟΤΕΛΕΣΜΆΤΩΝ ΠΟΥ ΕΠΙΤΕΎΧΘΗΚΑΝ. ΕΞΕΤΆΖΟΥΜΕ ΔΎΟ ΒΑΣΙΚΈΣ ΓΡΑΜΜΈΣ ΕΡΓΑΣΊΑΣ: ΜΟΝΤΕΛΟΠΟΊΗΣΗ ΚΑΙ ΔΟΚΙΜΉ. ΓΙΑ ΝΑ ΕΠΙΤΎΧΟΥΜΕ ΤΟΝ ΠΡΏΤΟ ΓΕΝΙΚΌ ΣΤΌΧΟ, ΕΦΑΡΜΟΓΈΣ ΜΟΝΤΕΛΟΠΟΊΗΣΗΣ, ΘΑ ΕΦΑΡΜΌΣΟΥΜΕ ΠΡΟΗΓΟΎΜΕΝΕΣ ΕΡΓΑΣΊΕΣ ΠΆΝΩ ΣΕ ΕΠΊΣΗΜΑ ΜΟΝΤΈΛΑ ΓΙΑ ΤΗΝ ΕΠΙΣΗΜΟΠΟΊΗΣΗ ΔΙΑΦΟΡΕΤΙΚΏΝ ΤΎΠΩΝ ΣΥΣΤΗΜΆΤΩΝ ΚΑΙ ΣΗΜΕΙΏΣΕΩΝ, ΜΕ ΈΜΦΑΣΗ ΣΤΙΣ ΗΛΕΚΤΡΟΝΙΚΈΣ ΣΥΜΒΆΣΕΙΣ ΚΑΙ ΤΗΝ ΕΠΕΞΕΡΓΑΣΊΑ ΣΥΜΒΆΝΤΩΝ. ΘΑ ΕΠΙΣΗΜΟΠΟΙΉΣΟΥΜΕ ΤΟ ΣΎΝΝΕΦΟ, ΕΦΑΡΜΌΖΟΝΤΑΣ ΕΠΊΣΗΜΕΣ ΜΕΘΌΔΟΥΣ ΣΤΟ ΣΧΕΔΙΑΣΜΌ ΚΑΙ ΤΗΝ ΑΝΆΛΥΣΗ ΤΩΝ ΑΡΧΙΤΕΚΤΟΝΙΚΏΝ ΤΟΥ CLOUD ΚΑΙ ΤΩΝ ΕΦΑΡΜΟΓΏΝ ΠΟΥ ΛΕΙΤΟΥΡΓΟΎΝ ΣΤΟ CLOUD. ΠΡΟΚΕΙΜΈΝΟΥ ΝΑ ΕΠΙΤΎΧΟΥΜΕ ΤΟΝ ΔΕΎΤΕΡΟ ΓΕΝΙΚΌ ΣΤΌΧΟ ΜΑΣ, ΠΡΟΗΓΜΈΝΕΣ ΜΕΘΌΔΟΥΣ ΔΟΚΙΜΏΝ, ΘΑ ΜΕΛΕΤΉΣΟΥΜΕ ΝΈΑ ΠΛΑΊΣΙΑ ΓΙΑ ΤΗ ΔΙΕΝΈΡΓΕΙΑ ΕΠΊΣΗΜΩΝ ΔΟΚΙΜΏΝ ΔΙΑΦΟΡΕΤΙΚΏΝ ΤΎΠΩΝ ΣΥΣΤΗΜΆΤΩΝ ΚΑΙ ΔΙΑΦΟΡΕΤΙΚΏΝ ΕΥΡΈΩΣ ΧΡΗΣΙΜΟΠΟΙΟΎΜΕΝΩΝ ΓΛΩΣΣΏΝ. ΕΚΤΌΣ ΑΠΌ ΤΗ ΘΕΩΡΗΤΙΚΉ ΕΡΓΑΣΊΑ, ΌΛΟΙ ΟΙ ΓΕΝΙΚΟΊ ΣΤΌΧΟΙ ΘΑ ΠΕΡΙΛΑΜΒΆΝΟΥΝ ΤΗΝ ΑΝΆΠΤΥΞΗ ΕΡΓΑΛΕΊΩΝ. ΤΑ ΕΡΓΑΛΕΊΑ ΑΥΤΆ ΘΑ ΣΥΜΒΆΛΟΥΝ ΣΤΗΝ ΠΡΑΚΤΙΚΉ ΕΦΑΡΜΟΓΉ ΤΩΝ ΜΕΘΟΔΟΛΟΓΙΏΝ ΚΑΙ ΤΩΝ ΘΕΩΡΗΤΙΚΏΝ ΑΠΟΤΕΛΕΣΜΆΤΩΝ. ΕΞΕΤΆΣΑΜΕ ΈΝΑΝ ΆΛΛΟ ΓΕΝΙΚΌ ΣΤΌΧΟ ΑΦΙΕΡΩΜΈΝΟ ΣΕ ΠΕΡΙΠΤΩΣΙΟΛΟΓΙΚΈΣ ΜΕΛΈΤΕΣ ΠΟΥ ΑΦΟΡΟΎΝ ΤΗΝ ΑΝΆΛΥΣΗ ΚΑΙ ΤΗΝ ΠΡΌΛΗΨΗ ΠΡΟΒΛΗΜΆΤΩΝ ΥΓΕΊΑΣ. ΘΑ ΠΆΡΟΥΜΕ ΩΣ ΣΗΜΕΊΟ ΕΚΚΊΝΗΣΗΣ ΤΑ ΑΠΟΤΕΛΈΣΜΑΤΑ ΚΑΙ ΤΑ ΕΡΓΑΛΕΊΑ ΠΟΥ ΠΑΡΆΓΟΝΤΑΙ ΣΤΟ ΈΡΓΟ DARDOS, ΑΛΛΆ ΑΝΟΊΓΟΥΜΕ ΕΝΤΕΛΏΣ ΝΈΕΣ ΓΡΑΜΜΈΣ ΕΡΓΑΣΊΑΣ. ΣΥΓΚΕΚΡΙΜΈΝΑ, ΣΤΟΝ ΤΕΛΕΥΤΑΊΟ ΑΥΤΌ ΣΤΌΧΟ ΕΞΕΤΆΖΟΥΜΕ 1) ΤΟΝ ΕΝΤΟΠΙΣΜΌ ΠΡΟΒΛΗΜΆΤΩΝ ΠΟΥ ΣΧΕΤΊΖΟΝΤΑΙ ΜΕ ΤΟΥΣ ΑΤΜΟΣΦΑΙΡΙΚΟΎΣ ΡΎΠΟΥΣ ΚΑΙ ΤΑ ΠΡΌΣΘΕΤΑ ΑΕΡΟΜΕΤΑΦΕΡΌΜΕΝΑ ΣΩΜΑΤΊΔΙΑ ΚΑΙ ΤΗΝ ΠΡΟΕΙΔΟΠΟΊΗΣΗ ΤΩΝ ΠΟΛΙΤΏΝ ΣΧΕΤΙΚΆ ΜΕ ΠΙΘΑΝΟΎΣ ΚΙΝΔΎΝΟΥΣ· 2) Η ΗΜΙΑΥΤΌΜΑΤΗ ΑΝΆΛΥΣΗ ΤΩΝ ΧΕΙΡΟΧΕΙΡΟΥΡΓΙΚΏΝ ΕΙΚΌΝΩΝ, ΙΔΊΩΣ ΓΙΑ ΤΗΝ ΕΞ ΑΠΟΣΤΆΣΕΩΣ ΥΠΟΣΤΉΡΙΞΗ ΤΗΣ ΛΉΨΗΣ ΑΠΟΦΆΣΕΩΝ ΓΙΑ ΤΗ ΘΕΡΑΠΕΊΑ ΑΣΘΕΝΕΙΏΝ· (3) ΥΠΟΣΤΉΡΙΞΗ ΤΗΣ ΑΝΆΛΥΣΗΣ ΚΑΙ ΤΗΣ ΑΝΊΧΝΕΥΣΗΣ ΤΗΣ ΚΟΙΛΙΟΚΆΚΗΣ. ΩΣ ΕΚ ΤΟΎΤΟΥ, ΕΛΠΊΖΟΥΜΕ ΌΤΙ ΤΟ ΈΡΓΟ ΘΑ ΈΧΕΙ ΚΟΙΝΩΝΙΚΌ ΑΝΤΊΚΤΥΠΟ, ΔΕΔΟΜΈΝΟΥ ΌΤΙ ΜΠΟΡΕΊ ΔΥΝΗΤΙΚΆ ΝΑ ΣΥΜΒΆΛΕΙ ΣΤΗ ΒΙΩΣΙΜΌΤΗΤΑ ΚΑΙ ΤΗΝ ΑΠΟΤΕΛΕΣΜΑΤΙΚΌΤΗΤΑ ΤΟΥ ΕΘΝΙΚΟΎ ΔΗΜΌΣΙΟΥ ΣΥΣΤΉΜΑΤΟΣ ΥΓΕΊΑΣ, ΕΆΝ ΕΊΜΑΣΤΕ ΣΕ ΘΈΣΗ ΝΑ ΠΑΡΑΓΆΓΟΥΜΕ ΑΠΟΤΕΛΈΣΜΑΤΑ ΚΑΙ ΕΡΓΑΛΕΊΑ ΠΟΥ ΜΠΟΡΟΎΝ ΝΑ ΧΡΗΣΙΜΟΠΟΙΗΘΟΎΝ ΣΤΗΝ ΠΡΆΞΗ. ΤΈΛΟΣ, ΜΠΟΡΟΎΜΕ ΝΑ ΑΝΑΦΈΡΟΥΜΕ ΌΤΙ ΕΚΤΌΣ ΑΠΌ ΤΟΝ ΑΝΤΊΚΤΥΠΟ ΤΩΝ ΑΠΟΤΕΛΕΣΜΆΤΩΝ ΜΑΣ ΣΤΙΣ ΕΘΝΙΚΈΣ ΚΑΙ ΔΙΕΘΝΕΊΣ ΕΠΙΣΤΗΜΟΝΙΚΈΣ ΚΟΙΝΌΤΗΤΕΣ, ΔΗΜΟΣΙΕΎΟΝΤΑΣ ΤΑ ΑΠΟΤΕΛΈΣΜΑΤΆ ΜΑΣ ΣΕ ΣΧΕΤΙΚΆ ΦΌΡΟΥΜ, ΚΑΘΏΣ ΚΑΙ ΤΟΝ ΠΙΘΑΝΌ ΚΑΙ ΕΠΙΘΥΜΗΤΌ ΑΝΤΊΚΤΥΠΟ ΣΤΗΝ ΠΡΌΛΗΨΗ ΤΩΝ ΚΙΝΔΎΝΩΝ ΓΙΑ ΤΗΝ ΥΓΕΊΑ, ΕΛΠΊΖΟΥΜΕ ΌΤΙ ΤΟ ΣΧΈΔΙΌ ΜΑΣ ΘΑ ΈΧΕΙ ΜΕΣΟΠΡΌΘΕΣΜΑ ΟΙΚΟΝΟΜΙΚΌ ΑΝΤΊΚΤΥΠΟ. ΣΗΜΑΝΤΙΚΌΣ ΑΡΙΘΜΌΣ ΕΤΑΙΡΕΙΏΝ ΈΧΟΥΝ ΔΕΊΞΕΙ ΤΟ ΕΝΔΙΑΦΈΡΟΝ ΤΟΥΣ ΝΑ ΣΥΜΜΕΤΆΣΧΟΥΝ ΣΤΟ ΈΡΓΟ ΤΗΣ ΦΉΜΗΣ. ΕΙΔΙΚΌΤΕΡΑ, ΟΙ ΕΤΑΙΡΕΊΕΣ ΠΟΥ ΣΥΜΜΕΤΈΧΟΥΝ ΣΤΑ ΣΤΆΔΙΑ ΑΝΆΠΤΥΞΗΣ ΛΟΓΙΣΜΙΚΟΎ ΘΑ ΕΊΝΑΙ ΣΕ ΘΈΣΗ ΝΑ ΑΞΙΟΛΟΓΉΣΟΥΝ ΤΗ ΧΡΗΣΙΜΌΤΗΤΑ ΤΩΝ ΕΡΓΑΛΕΊΩΝ ΜΑΣ ΚΑΙ ΝΑ ΑΠΟΦΑΣΊΣΟΥΝ ΑΝ ΜΠΟΡΟΎΝ ΝΑ ΣΥΜΠΕΡΙΛΗΦΘΟΎΝ ΣΤΟΥΣ ΚΎΚΛΟΥΣ ΠΑΡΑΓΩΓΉΣ ΤΟΥΣ. (Greek)
18 August 2022
0 references
DET VIGTIGSTE MÅL FOR BERØMMELSESPROJEKTET (FORMEL MODELLERING OG AVANCEREDE TESTMETODER. APPLIKATIONER TIL MEDICIN OG DATABEHANDLINGSSYSTEMER) SKAL MED METODER OG VÆRKTØJER BIDRAGE TIL DEN FORMELLE UDVIKLING AF KOMPLEKSE SOFTWARESYSTEMER. I BETRAGTNING AF AT DETTE ER ET BREDT STUDIEOMRÅDE, OG UNDER HENSYNTAGEN TIL DE TIDLIGERE ERFARINGER FRA DE GRUPPER, DER ER I OVERENSSTEMMELSE MED BERØMMELSE, VIL VI VÆRE SÆRLIG OPMÆRKSOMME PÅ MODELLERING OG FORMEL ANALYSE, VED HJÆLP AF TESTTEKNIKKER, AF SYSTEMER. BERØMMELSESPROJEKTET BYGGER PÅ RESULTATERNE FRA TESIS-PROJEKTERNE (TIN2009-14312-C02), MODSOA (TIN2011-27242), ESTUDIO (TIN2012-36812-C02) OG DARDOS (TIN2015-65845-C3-R). Det er VEDTAGET AF PIS (1 fra UCM, 2 fra UCA og 1 fra UCLM) ARE WOMEN._x000D_ FAME PROJT WILLER EN THEORETICAL APPROACH I ORDER AT ANVENDES ITS MAIN GOALS. PROJEKTET SER DOG IKKE BORT FRA ANVENDELSEN AF DE OPNÅEDE RESULTATER. VI OVERVEJER TO HOVEDLINJER I ARBEJDET: MODELLERING OG AFPRØVNING. FOR AT NÅ DET FØRSTE GENERELLE MÅL, ANVENDELSE AF MODELLER, VIL VI ANVENDE TIDLIGERE ARBEJDE MED FORMELLE MODELLER FOR AT FORMALISERE FORSKELLIGE TYPER SYSTEMER OG NOTATIONER MED FOKUS PÅ ELEKTRONISKE KONTRAKTER OG ARRANGEMENTER. VI VIL FORMALISERE SKYEN, ANVENDE FORMELLE METODER TIL DESIGN OG ANALYSE AF CLOUD-ARKITEKTURER OG AF DE APPLIKATIONER, DER KØRER I SKYEN. FOR AT NÅ VORES ANDET GENERELLE MÅL, AVANCEREDE TESTMETODER, VIL VI UNDERSØGE NYE RAMMER FOR AT UDFØRE FORMELLE TEST AF FORSKELLIGE TYPER AF SYSTEMER OG AF FORSKELLIGE UDBREDTE SPROG. UD OVER DET TEORETISKE ARBEJDE VIL ALLE DE GENERELLE MÅL OMFATTE UDVIKLING AF VÆRKTØJER. DISSE VÆRKTØJER VIL BIDRAGE TIL AT OMSÆTTE METODERNE OG DE TEORETISKE RESULTATER I PRAKSIS. VI HAR OVERVEJET ET ANDET GENERELT MÅL OM CASESTUDIER, DER BESKÆFTIGER SIG MED ANALYSE OG FOREBYGGELSE AF SUNDHEDSPROBLEMER. VI VIL TAGE UDGANGSPUNKT I DE RESULTATER OG VÆRKTØJER, DER PRODUCERES I DARDOS-PROJEKTET, MEN VI ÅBNER HELT NYE ARBEJDSLINJER. I FORBINDELSE MED DETTE SIDSTE MÅL OVERVEJER VI SPECIFIKT 1) AT PÅVISE PROBLEMER I FORBINDELSE MED LUFTFORURENENDE STOFFER OG YDERLIGERE LUFTBÅRNE PARTIKLER OG ADVARE BORGERNE OM POTENTIELLE FARER; 2) HALVAUTOMATISKE ANALYSER AF CHIRURGISKE BILLEDER, NAVNLIG FOR AT STØTTE BESLUTNINGER OM BEHANDLING AF SYGDOMME PÅ AFSTAND; 3) STØTTE TIL ANALYSE OG PÅVISNING AF CØLIAKI. DERFOR HÅBER VI, AT PROJEKTET HAR EN SOCIAL INDVIRKNING, DA DET POTENTIELT KAN BIDRAGE TIL BÆREDYGTIGHEDEN OG EFFEKTIVITETEN AF DET NATIONALE OFFENTLIGE SUNDHEDSSYSTEM, HVIS VI ER I STAND TIL AT PRODUCERE RESULTATER OG VÆRKTØJER, DER KAN ANVENDES I PRAKSIS. ENDELIG KAN VI NÆVNE, AT UD OVER RESULTATERNES INDVIRKNING PÅ DE NATIONALE OG INTERNATIONALE VIDENSKABELIGE FÆLLESSKABER, VED AT OFFENTLIGGØRE VORES RESULTATER I RELEVANTE FORA OG AF DEN MULIGE OG ØNSKELIGE INDVIRKNING PÅ FOREBYGGELSEN AF SUNDHEDSRISICI HÅBER VI, AT VORES PROJEKT VIL FÅ EN ØKONOMISK VIRKNING PÅ MELLEMLANG SIGT. ET BETYDELIGT ANTAL VIRKSOMHEDER HAR VIST, AT DE ER INTERESSERET I AT DELTAGE I BERØMMELSESPROJEKTET. ISÆR VIRKSOMHEDER, DER DELTAGER I SOFTWAREUDVIKLINGSFASERNE, VIL VÆRE I STAND TIL AT EVALUERE NYTTEN AF VORES VÆRKTØJER OG BESLUTTE, OM DE KAN INDGÅ I DERES PRODUKTIONSCYKLUSSER. (Danish)
18 August 2022
0 references
FAME-PROJEKTIN PÄÄTAVOITE (MUODOLLINEN MALLINNUS JA KEHITTYNEET TESTAUSMENETELMÄT). LÄÄKETIETEEN JA TIETOJENKÄSITTELYJÄRJESTELMIEN SOVELLUSTEN TARKOITUKSENA ON EDISTÄÄ MENETELMIEN JA VÄLINEIDEN AVULLA MONIMUTKAISTEN OHJELMISTOJÄRJESTELMIEN MUODOLLISTA KEHITTÄMISTÄ. KUN OTETAAN HUOMIOON, ETTÄ KYSEESSÄ ON LAAJA TUTKIMUSALA, JA OTTAEN HUOMIOON MAINETTA NOUDATTAVIEN RYHMIEN AIEMMAT KOKEMUKSET, KIINNITÄMME ERITYISTÄ HUOMIOTA JÄRJESTELMIEN MALLINTAMISEEN JA MUODOLLISEEN ANALYSOINTIIN TESTAUSTEKNIIKOITA KÄYTTÄEN. FAME-HANKE PERUSTUU TESIS- (TIN2009–14312-C02), MODSOA (TIN2011–27242), ESTUDIO (TIN2012–36812-C02) JA DARDOS (TIN2015–65845-C3-R) -HANKKEIDEN YHTEYDESSÄ SAAVUTETTUIHIN TULOKSIIN. Se on TUOMIOISTUIMEN TUOMIO (1 UCM, 2 FROM UCA ja 1 UCLM) Ovat WOMEN._x000D_ FAME PROJECT WILL CONSIDER the the THEORETICAL PROACH IN ORDER to ACCOMPLISH ITS MAIN GOALS. HANKKEESSA EI KUITENKAAN JÄTETÄ HUOMIOTTA SAATUJEN TULOSTEN SOVELTAMISTA. TARKASTELEMME KAHTA PÄÄASIALLISTA TOIMINTALINJAA: MALLINTAMINEN JA TESTAUS. ENSIMMÄISEN YLEISTAVOITTEEN, MALLINTAMISEN SOVELLUSTEN, SAAVUTTAMISEKSI KÄYTÄMME AIEMPIA VIRALLISIA MALLEJA KOSKEVAA TYÖTÄ ERITYYPPISTEN JÄRJESTELMIEN JA MERKINTÖJEN VIRALLISTAMISEKSI KESKITTYEN SÄHKÖISIIN SOPIMUKSIIN JA TAPAHTUMIEN KÄSITTELYYN. ME VIRALLISTAMME PILVEN SOVELTAMALLA MUODOLLISIA MENETELMIÄ PILVIARKKITEHTUURIEN JA PILVESSÄ KÄYNNISSÄ OLEVIEN SOVELLUSTEN SUUNNITTELUUN JA ANALYSOINTIIN. JOTTA VOIMME SAAVUTTAA TOISEN YLEISTAVOITTEEN, KEHITTYNEET TESTAUSMENETELMÄT, TUTKIMME UUSIA KEHYKSIÄ ERITYYPPISTEN JÄRJESTELMIEN JA ERI LAAJALTI KÄYTETTYJEN KIELTEN MUODOLLISEN TESTAUKSEN SUORITTAMISEKSI. TEOREETTISEN TYÖN LISÄKSI KAIKKIIN YLEISIIN TAVOITTEISIIN KUULUU VÄLINEIDEN KEHITTÄMINEN. NÄIDEN VÄLINEIDEN AVULLA VOIDAAN TOTEUTTAA KÄYTÄNNÖSSÄ MENETELMIÄ JA TEOREETTISIA TULOKSIA. OLEMME HARKINNEET TOISTA YLEISTAVOITETTA, JOKA ON OMISTETTU TAPAUSTUTKIMUKSILLE, JOTKA KOSKEVAT TERVEYSONGELMIEN ANALYSOINTIA JA EHKÄISYÄ. OTAMME LÄHTÖKOHDAKSI DARDOS-PROJEKTIN TULOKSET JA TYÖKALUT, MUTTA AVAAMME TÄYSIN UUSIA TOIMINTALINJOJA. TÄSSÄ VIIMEKSI MAINITUSSA TAVOITTEESSA TARKASTELLAAN ERITYISESTI 1) ILMAN EPÄPUHTAUKSIIN JA LISÄHIUKKASIIN LIITTYVIEN ONGELMIEN HAVAITSEMISTA JA KANSALAISTEN VAROITTAMISTA MAHDOLLISISTA VAAROISTA; (2) PUOLIAUTOMAATTINEN ANALYSOIDA CHIRURGICAL KUVIA, ERITYISESTI ETÄNÄ TUKEA PÄÄTÖKSENTEKOA SAIRAUKSIEN HOITOON; (3) KELIAKIA-TAUDIN ANALYSOINNIN JA HAVAITSEMISEN TUKEMINEN. SIKSI TOIVOMME, ETTÄ HANKKEELLA ON SOSIAALISIA VAIKUTUKSIA, KOSKA SE VOI MAHDOLLISESTI EDISTÄÄ KANSALLISEN JULKISEN TERVEYDENHUOLTOJÄRJESTELMÄN KESTÄVYYTTÄ JA TEHOKKUUTTA, JOS PYSTYMME TUOTTAMAAN TULOKSIA JA VÄLINEITÄ, JOITA VOIDAAN KÄYTTÄÄ KÄYTÄNNÖSSÄ. LOPUKSI VOIMME MAINITA, ETTÄ SEN LISÄKSI, ETTÄ TULOKSET VAIKUTTAVAT KANSALLISIIN JA KANSAINVÄLISIIN TIEDEYHTEISÖIHIN, JULKAISEMME TULOKSET ASIAANKUULUVILLA FOORUMEILLA JA TOIVOMME, ETTÄ HANKKEELLAMME ON KESKIPITKÄLLÄ AIKAVÄLILLÄ TALOUDELLISIA VAIKUTUKSIA TERVEYSRISKIEN EHKÄISEMISESSÄ. HUOMATTAVA MÄÄRÄ YRITYKSIÄ ON OSOITTANUT OLEVANSA KIINNOSTUNUT OSALLISTUMAAN MAINEHANKKEESEEN. ERITYISESTI OHJELMISTOKEHITYSVAIHEISIIN OSALLISTUVAT YRITYKSET VOIVAT ARVIOIDA TYÖKALUJEMME HYÖDYLLISYYTTÄ JA PÄÄTTÄÄ, VOIDAANKO NE SISÄLLYTTÄÄ TUOTANTOSYKLIINSÄ. (Finnish)
18 August 2022
0 references
L-GĦAN EWLIENI TAL-PROĠETT TAL-FAMA (IMMUDELLAR FORMALI U METODI TA’ TTESTJAR AVVANZATI. APPLIKAZZJONIJIET GĦAL SISTEMI TAL-MEDIĊINA U TAL-KOMPJUTERS) GĦANDHOM JIKKONTRIBWIXXU, PERMEZZ TA’ METODOLOĠIJI U GĦODOD, GĦALL-IŻVILUPP FORMALI TA’ SISTEMI KUMPLESSI TA’ SOFTWER. MINĦABBA L-FATT LI DAN HUWA QASAM WIESA’ TA’ STUDJU, U META TITQIES L-ESPERJENZA PREĊEDENTI TAL-GRUPPI LI JIKKONFORMAW MAL-FAMA, SE NAGĦTU ATTENZJONI SPEĊJALI LILL-IMMUDELLAR U L-ANALIŻI FORMALI, BL-UŻU TA’ TEKNIKI TA’ TTESTJAR, TAS-SISTEMI. IL-PROĠETT TAL-FAMA JIBNI FUQ IR-RIŻULTATI PRODOTTI FIL-KUNTEST TAL-PROĠETTI TESIS (TIN2009–14312-C02), MODSOA (TIN2011–27242), ESTUDIO (TIN2012–36812-C02), U DARDOS (TIN2015–65845-C3-R). Huwa WORTH MENTIONING LI FOUR tal-PIS (1 MILL UCM, 2 MILL UCA U 1 MILL UCLM) ARE WOMEN._x000D_ L-ISEM POJECT JIKKUNSIDRA A APPROVAMENT TIEGĦU FIL-ORITÀ FIL-GOALS TAGĦHOM TAGĦHOM. MADANKOLLU, IL-PROĠETT MA JĦALLIX BARRA L-APPLIKAZZJONI TAR-RIŻULTATI MIKSUBA. AĦNA NQISU ŻEWĠ LINJI EWLENIN TA’ ĦIDMA: L-IMMUDELLAR U L-ITTESTJAR. SABIEX JINKISEB L-EWWEL GĦAN ĠENERALI, APPLIKAZZJONIJIET TA ‘IMMUDELLAR, AĦNA SE JAPPLIKAW XOGĦOL PREĊEDENTI FUQ MUDELLI FORMALI BIEX JIFFORMALIZZA TIPI DIFFERENTI TA’ SISTEMI U NOTAZZJONIJIET, B’ENFASI FUQ KUNTRATTI ELETTRONIĊI U L-IPPROĊESSAR AVVENIMENTI. AĦNA SE TIFFORMALIZZA L-SĦABA, BL-APPLIKAZZJONI TA’ METODI FORMALI GĦAD-DISINN U L-ANALIŻI TAL-ARKITETTURI TAS-SĦAB U TAL-APPLIKAZZJONIJIET LI JAĦDMU FIS-SĦABA. SABIEX JINKISEB IT-TIENI GĦAN ĠENERALI TAGĦNA, METODI AVVANZATI TA ‘TTESTJAR, AĦNA SE JISTUDJAW OQFSA ĠODDA BIEX IWETTQU TTESTJAR FORMALI TA’ TIPI DIFFERENTI TA ‘SISTEMI U TA’ LINGWI DIFFERENTI UŻATI B’MOD WIESA’. MINBARRA X-XOGĦOL TEORETIKU, L-GĦANIJIET ĠENERALI KOLLHA SE JINKLUDU L-IŻVILUPP TA’ L-GĦODOD. DAWN L-GĦODOD SE JGĦINU BIEX JITQIEGĦDU FIL-PRATTIKA L-METODOLOĠIJI U R-RIŻULTATI TEORETIĊI. AĦNA KKUNSIDRAJNA GĦAN ĠENERALI IEĦOR IDDEDIKAT GĦAL STUDJI TA’ KAŻIJIET LI JITTRATTAW L-ANALIŻI U L-PREVENZJONI TA’ PROBLEMI TAS-SAĦĦA. AĦNA SE NIEĦDU BĦALA PUNT TAT-TLUQ IR-RIŻULTATI U L-GĦODOD PRODOTTI FIL-PROĠETT DARDOS IŻDA AĦNA TIFTAĦ LINJI KOMPLETAMENT ĠODDA TA ‘XOGĦOL. B’MOD SPEĊIFIKU, F’DAN L-AĦĦAR GĦAN AĦNA NQISU (1) L-IDENTIFIKAZZJONI TA’ PROBLEMI RELATATI MA’ SUSTANZI LI JNIĠĠSU L-ARJA U PARTIĊELLI ADDIZZJONALI FL-ARJA U T-TWISSIJA LIĊ-ĊITTADINI DWAR PERIKLI POTENZJALI; (2) ANALIŻI SEMIAWTOMATIKA TA’ IMMAĠNI KIRURĠIĊI, B’MOD PARTIKOLARI, BIEX TAPPOĠĠJA MILL-BOGĦOD IT-TEĦID TA’ DEĊIŻJONIJIET GĦAT-TRATTAMENT TA’ MARD; (3) L-APPOĠĠ GĦALL-ANALIŻI U S-SEJBA TAL-MARDA CELIAC. GĦALHEKK, NITTAMAW LI L-PROĠETT IKOLLU IMPATT SOĊJALI PERESS LI JISTA’ POTENZJALMENT JIKKONTRIBWIXXI GĦAS-SOSTENIBBILTÀ U L-EFFIĊJENZA TAS-SISTEMA PUBBLIKA NAZZJONALI TAS-SAĦĦA JEKK INKUNU NISTGĦU NIPPRODUĊU RIŻULTATI U GĦODOD LI JISTGĦU JINTUŻAW FIL-PRATTIKA. FL-AĦĦAR NETT, NISTGĦU NSEMMU LI MINBARRA L-IMPATT TAR-RIŻULTATI TAGĦNA FUQ IL-KOMUNITAJIET XJENTIFIĊI NAZZJONALI U INTERNAZZJONALI, BILLI NIPPUBBLIKAW IR-RIŻULTATI TAGĦNA F’FORA RILEVANTI, U TAL-IMPATT POSSIBBLI U MIXTIEQ FIL-PREVENZJONI TAR-RISKJU GĦAS-SAĦĦA, NITTAMAW LI L-PROĠETT TAGĦNA JKOLLU IMPATT EKONOMIKU F’NOFS IT-TERMINU. GĦADD KONSIDEREVOLI TA’ KUMPANIJI WREW L-INTERESS TAGĦHOM LI JINVOLVU RUĦHOM FIL-PROĠETT TAL-FAMA. B’MOD PARTIKOLARI, IL-KUMPANIJI LI JIPPARTEĊIPAW FL-ISTADJI TAL-IŻVILUPP TAS-SOFTWER SE JKUNU JISTGĦU JEVALWAW L-UTILITÀ TAL-GĦODOD TAGĦNA U JIDDEĊIEDU JEKK JISTGĦUX JIĠU INKLUŻI FIĊ-ĊIKLI TAL-PRODUZZJONI TAGĦHOM. (Maltese)
18 August 2022
0 references
SLAVAS PROJEKTA GALVENAIS MĒRĶIS (FORMĀLA MODELĒŠANA UN UZLABOTAS TESTĒŠANAS METODES. LIETOJUMPROGRAMMAS MEDICĪNĀ UN SKAITĻOŠANAS SISTĒMĀS) AR METODOLOĢIJU UN RĪKIEM IR VEICINĀT SAREŽĢĪTU PROGRAMMATŪRAS SISTĒMU FORMĀLU IZSTRĀDI. ŅEMOT VĒRĀ TO, KA ŠĪ IR PLAŠA STUDIJU JOMA, UN ŅEMOT VĒRĀ IEPRIEKŠĒJO PIEREDZI, KO GUVUŠAS GRUPAS, KAS ATBILST SLAVAI, MĒS PIEVĒRSĪSIM ĪPAŠU UZMANĪBU SISTĒMU MODELĒŠANAI UN FORMĀLAJAI ANALĪZEI, IZMANTOJOT TESTĒŠANAS METODES. SLAVAS PROJEKTA PAMATĀ IR TESIS (TIN2009–14312-C02), MODSOA (TIN2011–27242), ESTUDIO (TIN2012–36812-C02) UN DARDOS (TIN2015–65845-C3-R) PROJEKTU REZULTĀTI. Tas ir DARBA DARBA, ka četri no PIS (1 no UCM, 2 no UCA un 1 no UCLM) ir WOMEN._x000D_ FAME PROJECT BŪS KONSTRĀCIJAS TĒRĶIEM PASŪTĪT PASŪTĪT ĪPAŠAS GOALS. TOMĒR PROJEKTĀ NAV ATSTĀTA NOVĀRTĀ IEGŪTO REZULTĀTU PIEMĒROŠANA. MĒS APSVERAM DIVUS GALVENOS DARBA VIRZIENUS: MODELĒŠANA UN TESTĒŠANA. LAI SASNIEGTU PIRMO VISPĀRĒJO MĒRĶI, MODELĒŠANAS PIELIETOJUMU, MĒS PIEMĒROSIM IEPRIEKŠĒJO DARBU PIE FORMĀLIEM MODEĻIEM, LAI FORMALIZĒTU DAŽĀDA VEIDA SISTĒMAS UN PIEBILDES, KONCENTRĒJOTIES UZ ELEKTRONISKO LĪGUMU UN NOTIKUMU APSTRĀDI. MĒS FORMALIZĒSIM MĀKONI, PIEMĒROJOT FORMĀLAS METODES MĀKOŅU ARHITEKTŪRAS UN MĀKONĪ DARBOJOŠOS LIETOJUMPROGRAMMU PROJEKTĒŠANAI UN ANALĪZEI. LAI SASNIEGTU MŪSU OTRO VISPĀRĒJO MĒRĶI, UZLABOTAS TESTĒŠANAS METODES, MĒS PĒTĪSIM JAUNAS SISTĒMAS, LAI VEIKTU OFICIĀLU TESTĒŠANU DAŽĀDA VEIDA SISTĒMĀM UN DAŽĀDĀM PLAŠI LIETOTĀM VALODĀM. PAPILDUS TEORĒTISKAJAM DARBAM VISI VISPĀRĒJIE MĒRĶI IETVERS INSTRUMENTU IZSTRĀDI. ŠIE INSTRUMENTI PALĪDZĒS PRAKSĒ IEVIEST METODES UN TEORĒTISKOS REZULTĀTUS. MĒS ESAM APSVĒRUŠI VĒL VIENU VISPĀRĒJU MĒRĶI, KAS VELTĪTS GADĪJUMU IZPĒTEI PAR VESELĪBAS PROBLĒMU ANALĪZI UN NOVĒRŠANU. KĀ SĀKUMPUNKTU MĒS PIEŅEMSIM DARDOS PROJEKTA REZULTĀTUS UN RĪKUS, BET MĒS ATVERAM PILNĪGI JAUNAS DARBA LĪNIJAS. KONKRĒTĀK, ŠAJĀ PĒDĒJĀ MĒRĶĪ MĒS APSVERAM: 1) ATKLĀT PROBLĒMAS, KAS SAISTĪTAS AR GAISA PIESĀRŅOTĀJIEM UN PAPILDU GAISĀ ESOŠĀM DAĻIŅĀM, UN BRĪDINĀT IEDZĪVOTĀJUS PAR IESPĒJAMIEM APDRAUDĒJUMIEM; (2) PUSAUTOMĀTISKA HIRURGISKO ATTĒLU ANALĪZE, JO ĪPAŠI, LAI ATTĀLINĀTI ATBALSTĪTU LĒMUMU PIEŅEMŠANU SLIMĪBU ĀRSTĒŠANĀ; (3) ATBALSTĪT CELIAKIJAS SLIMĪBAS ANALĪZI UN NOTEIKŠANU. TĀPĒC MĒS CERAM, KA PROJEKTAM IR SOCIĀLA IETEKME, JO TAS, IESPĒJAMS, VAR VEICINĀT VALSTS VESELĪBAS SABIEDRĪBAS SISTĒMAS ILGTSPĒJU UN EFEKTIVITĀTI, JA MĒS SPĒJAM SASNIEGT REZULTĀTUS UN INSTRUMENTUS, KO VAR IZMANTOT PRAKSĒ. VISBEIDZOT, MĒS VARAM PIEMINĒT, KA PAPILDUS MŪSU REZULTĀTU IETEKMEI UZ NACIONĀLAJĀM UN STARPTAUTISKAJĀM ZINĀTNISKAJĀM KOPIENĀM, PUBLICĒJOT MŪSU REZULTĀTUS ATTIECĪGOS FORUMOS, KĀ ARĪ PAR IESPĒJAMO UN VĒLAMO IETEKMI UZ VESELĪBAS RISKA NOVĒRŠANU, MĒS CERAM, KA MŪSU PROJEKTAM BŪS EKONOMISKA IETEKME VIDĒJĀ TERMIŅĀ. IEVĒROJAMS SKAITS UZŅĒMUMU IR IZRĀDĪJUŠI INTERESI IESAISTĪTIES SLAVAS PROJEKTĀ. JO ĪPAŠI UZŅĒMUMI, KAS PIEDALĀS PROGRAMMATŪRAS IZSTRĀDES POSMOS, VARĒS NOVĒRTĒT MŪSU RĪKU LIETDERĪBU UN IZLEMT, VAI TOS VAR IEKĻAUT TO RAŽOŠANAS CIKLOS. (Latvian)
18 August 2022
0 references
HLAVNÝM CIEĽOM PROJEKTU SLÁVY (FORMÁLNE MODELOVANIE A POKROČILÉ TESTOVACIE METÓDY. APLIKÁCIE V MEDICÍNE A POČÍTAČOVÝCH SYSTÉMOCH) MÁ PRISPIEVAŤ K FORMÁLNEMU VÝVOJU KOMPLEXNÝCH SOFTVÉROVÝCH SYSTÉMOV POMOCOU METODÍK A NÁSTROJOV. VZHĽADOM NA SKUTOČNOSŤ, ŽE IDE O ŠIROKÚ OBLASŤ ŠTÚDIA A BERÚC DO ÚVAHY PREDCHÁDZAJÚCE SKÚSENOSTI SKUPÍN, KTORÉ SA ZHODUJÚ S SLÁVOU, BUDEME VENOVAŤ OSOBITNÚ POZORNOSŤ MODELOVANIU A FORMÁLNEJ ANALÝZE SYSTÉMOV POMOCOU TESTOVACÍCH TECHNÍK. PROJEKT SLÁVY VYCHÁDZA Z VÝSLEDKOV DOSIAHNUTÝCH V SÚVISLOSTI S PROJEKTMI TESIS (TIN2009 – 14312-C02), MODSOA (TIN2011 – 27242), ESTUDIO (TIN2012 – 36812-C02) A DARDOS (TIN2015 – 65845-C3-R). Stojí to za to, že štyri z PIS (1 z UCM, 2 z UCA a 1 z UCLM) sú WOMEN._x000D_ FAME PROJEKT by sa konzistentná TheORETICAL APPROACH za cenu ACCOMPLISH ITS MAIN GOALS. V RÁMCI PROJEKTU SA VŠAK NEBERIE DO ÚVAHY UPLATŇOVANIE ZÍSKANÝCH VÝSLEDKOV. UVAŽUJEME O DVOCH HLAVNÝCH SMEROCH PRÁCE: MODELOVANIE A TESTOVANIE. ABY SME DOSIAHLI PRVÝ VŠEOBECNÝ CIEĽ, APLIKÁCIE MODELOVANIA, POUŽIJEME PREDCHÁDZAJÚCU PRÁCU NA FORMÁLNYCH MODELOCH S CIEĽOM FORMALIZOVAŤ RÔZNE TYPY SYSTÉMOV A ZÁPISOV SO ZAMERANÍM NA ELEKTRONICKÉ SPRACOVANIE ZMLÚV A UDALOSTÍ. SFORMALIZUJEME CLOUD, POUŽIJEME FORMÁLNE METÓDY NA NAVRHOVANIE A ANALÝZU CLOUDOVÝCH ARCHITEKTÚR A APLIKÁCIÍ BEŽIACICH V CLOUDE. S CIEĽOM DOSIAHNUŤ NÁŠ DRUHÝ VŠEOBECNÝ CIEĽ, POKROČILÉ TESTOVACIE METÓDY, BUDEME ŠTUDOVAŤ NOVÉ RÁMCE NA VYKONÁVANIE FORMÁLNEHO TESTOVANIA RÔZNYCH TYPOV SYSTÉMOV A RÔZNYCH ŠIROKO POUŽÍVANÝCH JAZYKOV. OKREM TEORETICKEJ PRÁCE BUDÚ VŠETKY VŠEOBECNÉ CIELE ZAHŔŇAŤ AJ VÝVOJ NÁSTROJOV. TIETO NÁSTROJE POMÔŽU ZAVIESŤ DO PRAXE METODIKY A TEORETICKÉ VÝSLEDKY. UVAŽOVALI SME O ĎALŠOM VŠEOBECNOM CIELI VENOVANOM PRÍPADOVÝM ŠTÚDIÁM, KTORÉ SA ZAOBERAJÚ ANALÝZOU A PREVENCIOU ZDRAVOTNÝCH PROBLÉMOV. AKO VÝCHODISKOVÝ BOD BUDEME VYCHÁDZAŤ Z VÝSLEDKOV A NÁSTROJOV VYTVORENÝCH V RÁMCI PROJEKTU DARDOS, ALE OTVORÍME ÚPLNE NOVÉ LÍNIE PRÁCE. KONKRÉTNE V TOMTO POSLEDNOM CIELI UVAŽUJEME O 1) ODHAĽOVANÍ PROBLÉMOV TÝKAJÚCICH SA LÁTOK ZNEČISŤUJÚCICH OVZDUŠIE A ĎALŠÍCH ČASTÍC PRENÁŠANÝCH VZDUCHOM A VAROVANÍ OBČANOV PRED MOŽNÝMI NEBEZPEČENSTVAMI; (2) POLOAUTOMATICKÁ ANALÝZA CHIRURGICKÝCH SNÍMOK, NAJMÄ S CIEĽOM PODPORIŤ PRIJÍMANIE ROZHODNUTÍ O LIEČBE CHORÔB NA DIAĽKU; (3) PODPORA ANALÝZY A ZISTENIA CELIAKIE. PRETO DÚFAME, ŽE PROJEKT BUDE MAŤ SOCIÁLNY VPLYV, PRETOŽE MÔŽE POTENCIÁLNE PRISPIEŤ K UDRŽATEĽNOSTI A EFEKTÍVNOSTI VNÚTROŠTÁTNEHO VEREJNÉHO SYSTÉMU ZDRAVOTNÍCTVA, AK DOKÁŽEME DOSIAHNUŤ VÝSLEDKY A NÁSTROJE, KTORÉ SA DAJÚ POUŽIŤ V PRAXI. NA ZÁVER MÔŽEME SPOMENÚŤ, ŽE OKREM VPLYVU NAŠICH VÝSLEDKOV NA NÁRODNÉ A MEDZINÁRODNÉ VEDECKÉ SPOLOČENSTVÁ ZVEREJNENÍM NAŠICH VÝSLEDKOV NA PRÍSLUŠNÝCH FÓRACH A MOŽNÉHO A ŽIADUCEHO VPLYVU NA PREVENCIU ZDRAVOTNÝCH RIZÍK DÚFAME, ŽE NÁŠ PROJEKT BUDE MAŤ V STREDNODOBOM HORIZONTE HOSPODÁRSKY VPLYV. ZNAČNÝ POČET SPOLOČNOSTÍ PREJAVIL ZÁUJEM ZAPOJIŤ SA DO PROJEKTU SLÁVY. NAJMÄ SPOLOČNOSTI, KTORÉ SA ZÚČASTŇUJÚ NA FÁZACH VÝVOJA SOFTVÉRU, BUDÚ SCHOPNÉ VYHODNOTIŤ UŽITOČNOSŤ NAŠICH NÁSTROJOV A ROZHODNÚŤ SA, ČI MÔŽU BYŤ ZAHRNUTÉ DO SVOJICH VÝROBNÝCH CYKLOV. (Slovak)
18 August 2022
0 references
PRÍOMHSPRIOC AN TIONSCADAIL LAOCHRA (SAMHLÚ FOIRMIÚIL AGUS ARDMHODHANNA TÁSTÁLA. IARRATAIS AR CHÓRAIS LEIGHIS AGUS RÍOMHAIREACHTA) CHUN CUR, LE MODHEOLAÍOCHTAÍ AGUS UIRLISÍ, LE FORBAIRT FHOIRMIÚIL NA GCÓRAS BOGEARRAÍ CASTA. ÓS RUD É GO BHFUIL SÉ SEO RÉIMSE LEATHAN STAIDÉIR, AGUS AG CUR SAN ÁIREAMH AN TAITHÍ ROIMHE SEO DE NA GRÚPAÍ A CHOMHLÍONANN LAOCHRA, BEIMID AG TABHAIRT AIRD AR LEITH AR AN SAMHALTÚ AGUS ANAILÍS FHOIRMIÚIL, AG BAINT ÚSÁIDE AS TEICNÍCÍ TÁSTÁLA, NA GCÓRAS. TÓGANN AN TIONSCADAL LAOCHRA AR BHARR NA DTORTHAÍ A TÁIRGEADH I GCOMHTHÉACS NA DTIONSCADAL TESIS (TIN2009-14312-C02), MODSOA (TIN2011-27242), ESTUDIO (TIN2012-36812-C02), AGUS DARDOS (TIN2015-65845-C3-R). Is ionann é agus an t-am (1 Ó UCM, 2 Ó UCA agus 1 ó UCLM) de réir _x000D & amp; quot; AN PRIOECT FAME CONSIDER A RIALACHÁN TÉARMAÍ IN ORDÚ DO DHÉANAMH A DHÉANAMH A DHÉANAMH A DHÉANAMH A DHÉANAMH. MAR SIN FÉIN, NÍ FHÁGANN AN TIONSCADAL AR LEATAOBH CUR I BHFEIDHM NA DTORTHAÍ A FUARTHAS. BREITHNÍMID DHÁ PHRÍOMHLÍNE OIBRE: SAMHALTÚ AGUS TÁSTÁIL. D’FHONN AN CHÉAD CHUSPÓIR GINEARÁLTA A BHAINT AMACH, FEIDHMCHLÁIR SAMHALTAITHE, CUIRFIMID OBAIR ROIMHE SEO I BHFEIDHM AR SHAMHLACHA FOIRMIÚLA CHUN CINEÁLACHA ÉAGSÚLA CÓRAS AGUS NODAIREACHTAÍ A CHUR AR BHONN FOIRMIÚIL, LE BÉIM AR CHONARTHAÍ LEICTREONACHA AGUS AR PHRÓISEÁIL IMEACHTAÍ. CUIRFIMID AN SCAMALL AR BHONN FOIRMIÚIL, AG CUR MODHANNA FOIRMIÚLA I BHFEIDHM MAIDIR LE HAILTIREACHTAÍ SCAMALL AGUS NA N-IARRATAS A RITHEANN SA SCAMALL A DHEARADH AGUS A ANAILÍSIÚ. D’FHONN ÁR DARA CUSPÓIR GINEARÁLTA, ARDMHODHANNA TÁSTÁLA A BHAINT AMACH, DÉANFAIMID STAIDÉAR AR CHREATAÍ NUA CHUN TÁSTÁIL FHOIRMIÚIL A DHÉANAMH AR CHINEÁLACHA ÉAGSÚLA CÓRAS AGUS AR THEANGACHA ÉAGSÚLA A ÚSÁIDTEAR GO FORLEATHAN. CHOMH MAITH LEIS AN OBAIR THEOIRICIÚIL, BEIDH FORBAIRT UIRLISÍ SAN ÁIREAMH SNA CUSPÓIRÍ GINEARÁLTA GO LÉIR. CABHRÓIDH NA HUIRLISÍ SEO LEIS NA MODHEOLAÍOCHTAÍ AGUS NA TORTHAÍ TEOIRICIÚLA A CHUR I GCLEACHTAS. MHEASAMAR CUSPÓIR GINEARÁLTA EILE ATÁ DÍRITHE AR CHÁS-STAIDÉIR A BHAINEANN LE FADHBANNA SLÁINTE A ANAILÍSIÚ AGUS A CHOSC. TÓGFAIMID MAR PHOINTE TOSAIGH NA TORTHAÍ AGUS NA HUIRLISÍ A THÁIRGTEAR SA TIONSCADAL DARDOS ACH OSCLÓFAR LÍNTE NUA OIBRE GO HIOMLÁN. GO SONRACH, SA SPRIOC DHEIREANACH SIN, MEASAIMID (1) FADHBANNA A BHAINEANN LE TRUAILLEÁIN AEIR AGUS CÁITHNÍNÍ AERBHEIRTHE BREISE A BHRATH AGUS RABHADH A THABHAIRT DO SHAORÁNAIGH FAOI GHUAISEACHA A D’FHÉADFADH A BHEITH ANN; (2) ANAILÍS LEATH-UATHOIBRÍOCH A DHÉANAMH AR ÍOMHÁNNA SIRURGICAL, GO HÁIRITHE, CHUN TACÚ GO CIANDA LE CINNTÍ A DHÉANAMH CHUN TINNIS A CHÓIREÁIL; (3) TACÚ LE GALAR CELIAC A ANAILÍSIÚ AGUS A BHRATH. DÁ BHRÍ SIN, TÁ SÚIL AGAINN GO MBEIDH TIONCHAR SÓISIALTA AG AN TIONSCADAL ÓS RUD É GO BHFÉADFADH SÉ CUR LE HINBHUANAITHEACHT AGUS ÉIFEACHTÚLACHT AN CHÓRAIS PHOIBLÍ SLÁINTE NÁISIÚNTA MÁ TÁIMID IN ANN TORTHAÍ AGUS UIRLISÍ IS FÉIDIR A ÚSÁID GO PRAITICIÚIL A THÁIRGEADH. AR DEIREADH, IS FÉIDIR LINN A LUA, SA BHREIS AR THIONCHAR ÁR DTORTHAÍ AR NA POBAIL EOLAÍOCHTA NÁISIÚNTA AGUS IDIRNÁISIÚNTA, TRÍNÁR DTORTHAÍ A FHOILSIÚ I BHFÓRAIM ÁBHARTHA, AGUS TRÍD AN TIONCHAR FÉIDEARTHA AGUS INMHIANAITHE I GCOSC RIOSCAÍ SLÁINTE, TÁ SÚIL AGAINN GO MBEIDH TIONCHAR EACNAMAÍOCH AG ÁR DTIONSCADAL SA MHEÁNTÉARMA. TÁ SÉ LÉIRITHE AG LÍON MÓR CUIDEACHTAÍ GUR SPÉIS LEO PÁIRT A GHLACADH SA TIONSCADAL LAOCHRA. GO HÁIRITHE, BEIDH CUIDEACHTAÍ A GHLACANN PÁIRT SNA CÉIMEANNA FORBARTHA BOGEARRAÍ IN ANN MEASTÓIREACHT A DHÉANAMH AR ÚSÁIDEACHT ÁR N-UIRLISÍ AGUS CINNEADH A DHÉANAMH AN FÉIDIR IAD A CHUR SAN ÁIREAMH INA DTIMTHRIALLTA TÁIRGTHE. (Irish)
18 August 2022
0 references
HLAVNÍM CÍLEM PROJEKTU SLÁVY (FORMÁLNÍ MODELOVÁNÍ A POKROČILÉ TESTOVACÍ METODY. APLIKACE V MEDICÍNSKÝCH A POČÍTAČOVÝCH SYSTÉMECH) MÁ POMOCÍ METODIK A NÁSTROJŮ PŘISPĚT K FORMÁLNÍMU VÝVOJI KOMPLEXNÍCH SOFTWAROVÝCH SYSTÉMŮ. VZHLEDEM K TOMU, ŽE SE JEDNÁ O ŠIROKÝ STUDIJNÍ OBOR A S OHLEDEM NA PŘEDCHOZÍ ZKUŠENOSTI SKUPIN VYHOVUJÍCÍCH SLÁVĚ, BUDEME VĚNOVAT ZVLÁŠTNÍ POZORNOST MODELOVÁNÍ A FORMÁLNÍ ANALÝZE SYSTÉMŮ POMOCÍ ZKUŠEBNÍCH TECHNIK. PROJEKT SLÁVY NAVAZUJE NA VÝSLEDKY PROJEKTŮ TESIS (TIN2009–14312-C02), MODSOA (TIN2011–27242), ESTUDIO (TIN2012–36812-C02) A DARDOS (TIN2015–65845-C3-R). Je to WORTH MENTIONING, že hned za PIS (1 z UCM, 2 z UCA a 1 z UCLM) ARE WOMEN._x000D_ FAME PROJECT bude souhlasit s THEORETICKÝM APPROACHEM V OBJEDNÁVKU AKCOMPLISH ITS MAIN GOALS. PROJEKT VŠAK NEPONECHÁVÁ STRANOU UPLATNĚNÍ ZÍSKANÝCH VÝSLEDKŮ. UVAŽUJEME O DVOU HLAVNÍCH SMĚRECH PRÁCE: MODELOVÁNÍ A TESTOVÁNÍ. PRO DOSAŽENÍ PRVNÍHO OBECNÉHO CÍLE, APLIKACE MODELOVÁNÍ, BUDEME APLIKOVAT PŘEDCHOZÍ PRÁCI NA FORMÁLNÍCH MODELECH FORMALIZOVAT RŮZNÉ TYPY SYSTÉMŮ A NOTACÍ SE ZAMĚŘENÍM NA ELEKTRONICKÉ SMLOUVY A ZPRACOVÁNÍ UDÁLOSTÍ. FORMALIZUJEME CLOUD, APLIKUJEME FORMÁLNÍ METODY PŘI NAVRHOVÁNÍ A ANALÝZE CLOUDOVÝCH ARCHITEKTUR A APLIKACÍ BĚŽÍCÍCH V CLOUDU. ABYCHOM DOSÁHLI NAŠEHO DRUHÉHO OBECNÉHO CÍLE, POKROČILÉ ZKUŠEBNÍ METODY, BUDEME STUDOVAT NOVÉ RÁMCE PRO PROVÁDĚNÍ FORMÁLNÍHO TESTOVÁNÍ RŮZNÝCH TYPŮ SYSTÉMŮ A RŮZNÝCH ŠIROCE POUŽÍVANÝCH JAZYKŮ. KROMĚ TEORETICKÉ PRÁCE BUDOU VŠECHNY OBECNÉ CÍLE ZAHRNOVAT VÝVOJ NÁSTROJŮ. TYTO NÁSTROJE POMOHOU UVÉST DO PRAXE METODIKY A TEORETICKÉ VÝSLEDKY. ZVAŽOVALI JSME DALŠÍ OBECNÝ CÍL VĚNOVANÝ PŘÍPADOVÝM STUDIÍM ZABÝVAJÍCÍM SE ANALÝZOU A PREVENCÍ ZDRAVOTNÍCH PROBLÉMŮ. JAKO VÝCHOZÍ BOD VEZMEME VÝSLEDKY A NÁSTROJE VYTVOŘENÉ V PROJEKTU DARDOS, ALE OTEVÍRÁME ZCELA NOVÉ LINIE PRÁCE. KONKRÉTNĚ V TOMTO POSLEDNÍM CÍLI SE ZABÝVÁME 1) ODHALOVÁNÍM PROBLÉMŮ SOUVISEJÍCÍCH S LÁTKAMI ZNEČIŠŤUJÍCÍMI OVZDUŠÍ A DALŠÍMI ČÁSTICEMI PŘENÁŠENÝMI VZDUCHEM A VAROVÁNÍM OBČANŮ PŘED MOŽNÝMI RIZIKY; (2) POLOAUTOMATICKÁ ANALÝZA CHIRURGICKÝCH SNÍMKŮ, ZEJMÉNA ZA ÚČELEM DÁLKOVÉ PODPORY ROZHODOVÁNÍ O LÉČBĚ NEMOCÍ; (3) PODPORA ANALÝZY A DETEKCE CELIAKIE. PROTO DOUFÁME, ŽE PROJEKT BUDE MÍT SOCIÁLNÍ DOPAD, PROTOŽE MŮŽE POTENCIÁLNĚ PŘISPĚT K UDRŽITELNOSTI A ÚČINNOSTI VNITROSTÁTNÍHO VEŘEJNÉHO SYSTÉMU ZDRAVOTNICTVÍ, POKUD BUDEME SCHOPNI PŘINÉST VÝSLEDKY A NÁSTROJE, KTERÉ LZE VYUŽÍT V PRAXI. ZÁVĚREM MŮŽEME ZMÍNIT, ŽE KROMĚ DOPADU NAŠICH VÝSLEDKŮ NA NÁRODNÍ A MEZINÁRODNÍ VĚDECKÉ KOMUNITY, ZVEŘEJNĚNÍ NAŠICH VÝSLEDKŮ NA PŘÍSLUŠNÝCH FÓRECH A MOŽNÉHO A ŽÁDOUCÍHO DOPADU NA PREVENCI ZDRAVOTNÍCH RIZIK DOUFÁME, ŽE NÁŠ PROJEKT BUDE MÍT VE STŘEDNĚDOBÉM HORIZONTU HOSPODÁŘSKÝ DOPAD. ZNAČNÝ POČET SPOLEČNOSTÍ PROJEVIL ZÁJEM ZAPOJIT SE DO PROJEKTU SLÁVY. ZEJMÉNA SPOLEČNOSTI, KTERÉ SE ÚČASTNÍ FÁZÍ VÝVOJE SOFTWARU, BUDOU MOCI VYHODNOTIT UŽITEČNOST NAŠICH NÁSTROJŮ A ROZHODNOUT SE, ZDA MOHOU BÝT ZAHRNUTY DO SVÝCH VÝROBNÍCH CYKLŮ. (Czech)
18 August 2022
0 references
O PRINCIPAL OBJETIVO DO PROJETO FAME (MODELO FORMAL E MÉTODOS DE ENSAIO AVANÇADOS. APLICAÇÕES AOS MEDICAMENTOS E SISTEMAS DE COMPUTAÇÃO) É CONTRIBUIR, COM METODOLOGIAS E FERRAMENTAS, PARA O DESENVOLVIMENTO FORMAL DOS SISTEMAS SOFTWARE COMPLEXOS. Dado o facto de que este é um campo amplo de estudo, e tendo em conta a experiência anterior dos grupos que conformam a família, vamos prestar especial atenção à modelagem e análise formal, usando técnicas de teste, de sistemas. O PROJETO-FAME CONSTRUI O TOP DOS RESULTADOS PRODUZIDOS NO CONTEXTO DOS PROJETOS TESIS (TIN2009-14312-C02), MODSOA (TIN2011-27242), ESTUDIO (TIN2012-36812-C02) E DARDOS (TIN2015-65845-C3-R). Vale a pena mencionar que quatro dos PIS (1 a partir de UCM, 2 a partir de UCA e 1 a partir de UCLM) são mulheres. No entanto, o projecto não se afasta da aplicação dos resultados obtidos. Consideramos duas linhas principais de trabalho: MODELO E ENSAIO. A fim de alcançar o primeiro objectivo geral, aplicações de modelagem, vamos aplicar trabalhos anteriores em modelos formais para formalizar diferentes tipos de sistemas e notações, com foco em contratos electrónicos e processamento de eventos. Vamos formalizar a nuvem, aplicando métodos formais para a concepção e análise das arquiteturas de nuvem e das aplicações que correm na nuvem. A fim de alcançar o nosso segundo objetivo geral, métodos de ensaio avançados, estudaremos novos quadros para realizar testes formais de diferentes tipos de sistemas e de diferentes línguas amplamente utilizadas. Para além do trabalho teórico, todos os objectivos gerais incluirão o desenvolvimento de ferramentas. Estas ferramentas ajudarão a pôr em prática as metodologias e os resultados teóricos. Considerámos outro objectivo geral dedicado a estudos de casos relacionados com a análise e prevenção de problemas de saúde. Tomaremos como ponto de partida os resultados e as ferramentas produzidas no projecto DARDOS, mas abrimos linhas completamente novas de trabalho. ESPECIFICAMENTE, NESTE ÚLTIMO OBJETIVO, CONSIDERAMOS (1) DETEÇÃO DE PROBLEMAS RELACIONADOS COM POLUENTES AÉREOS E PARTÍCULAS ADICIONAIS DE AR E ADVERTÊNCIA DOS CIDADÃOS SOBRE POTENCIAL PERIGOS; 2) Analise semi-automática das imagens da igreja, especialmente para apoiar de forma remota a tomada de decisões para o tratamento de doenças. (3) APOIAR A ANÁLISE E A DETEÇÃO DA DOENÇA CELIAC. Por conseguinte, esperamos que o projecto tenha um impacto social, uma vez que pode contribuir potencialmente para a sustentabilidade e eficácia do sistema nacional de saúde pública, se formos capazes de produzir resultados e ferramentas que possam ser utilizados na prática. Finalmente, podemos pensar que, para além do impacto dos nossos resultados nas comunidades científicas nacionais e internacionais, publicando os nossos resultados em fóruns relevantes e do possível e desejável impacto na prevenção dos riscos sanitários, esperamos que o nosso projecto tenha um impacto económico a médio prazo. Um número considerável de sociedades manifestou o seu interesse em participar no projecto-piloto. Em especial, as empresas que participam nas fases de desenvolvimento do software poderão avaliar a utilidade das nossas ferramentas e decidir se podem ser incluídas nos seus ciclos de produção. (Portuguese)
18 August 2022
0 references
KUULSUSPROJEKTI PEAMINE EESMÄRK (FORMAALNE MODELLEERIMINE JA TÄIUSTATUD KATSEMEETODID. RAKENDUSED MEDITSIINI- JA ARVUTISÜSTEEMIDELE) AITAVAD KOOS MEETODITE JA VAHENDITEGA KAASA KEERUKATE TARKVARASÜSTEEMIDE AMETLIKULE ARENDAMISELE. ARVESTADES ASJAOLU, ET TEGEMIST ON LAIA UURIMISVALDKONNAGA JA VÕTTES ARVESSE KUULSUST JÄRGIVATE RÜHMADE VARASEMAID KOGEMUSI, PÖÖRAME ERILIST TÄHELEPANU SÜSTEEMIDE MODELLEERIMISELE JA AMETLIKULE ANALÜÜSILE, KASUTADES KATSEMEETODEID. KUULSUSPROJEKT TUGINEB LISAKS TULEMUSTELE, MIS SAADI PROJEKTIDE TESIS (TIN2009–14312-C02), MODSOA (TIN2011–27242), ESTUDIO (TIN2012–36812-C02) JA DARDOS (TIN2015–65845-C3-R) RAAMES. IT on MENTIONING PIS (1 FROM UCM, 2 FROM UCA JA 1 FROM UCLM) ARE WOMEN._x000D_The FAME PROJECT KASUTATAVAD KONSIDER AERETIKA VÕTMISE KASUTATAVAD TULEMUSED TÄHELEPANU. PROJEKT EI JÄTA SIISKI KÕRVALE SAADUD TULEMUSTE KOHALDAMIST. KONTROLLIKODA KAALUB KAHTE PEAMIST TÖÖSUUNDA: MODELLEERIMINE JA TESTIMINE. ESIMESE ÜLDEESMÄRGI – MODELLEERIMISE RAKENDUSTE – SAAVUTAMISEKS RAKENDAME VARASEMAT TÖÖD AMETLIKE MUDELITEGA, ET VORMISTADA ERI LIIKI SÜSTEEME JA MÄRKEID, KESKENDUDES ELEKTROONILISTELE LEPINGUTELE JA ÜRITUSTE TÖÖTLEMISELE. VORMISTAME PILVE, RAKENDADES AMETLIKKE MEETODEID PILVEARHITEKTUURIDE JA PILVES TÖÖTAVATE RAKENDUSTE KAVANDAMISEKS JA ANALÜÜSIMISEKS. TEISE ÜLDEESMÄRGI, TÄIUSTATUD TESTIMISMEETODITE SAAVUTAMISEKS UURIME UUSI RAAMISTIKKE, ET VIIA LÄBI ERI TÜÜPI SÜSTEEMIDE JA ERINEVATE LAIALDASELT KASUTATAVATE KEELTE AMETLIK TESTIMINE. LISAKS TEOREETILISELE TÖÖLE HÕLMAVAD KÕIK ÜLDEESMÄRGID VAHENDITE VÄLJATÖÖTAMIST. NEED VAHENDID AITAVAD RAKENDADA METOODIKAT JA TEOREETILISI TULEMUSI. OLEME KAALUNUD VEEL ÜHT ÜLDIST EESMÄRKI, MIS ON PÜHENDATUD TERVISEPROBLEEMIDE ANALÜÜSI JA ENNETAMISEGA SEOTUD JUHTUMIUURINGUTELE. ALUSTUSEKS VÕTAME DARDOSE PROJEKTI TULEMUSED JA VAHENDID, KUID AVAME TÄIESTI UUED TÖÖSUUNAD. SELLE VIIMASE EESMÄRGI PUHUL KAALUME EELKÕIGE 1) ÕHUSAASTEAINETE JA TÄIENDAVATE ÕHUS LEIDUVATE OSAKESTEGA SEOTUD PROBLEEMIDE AVASTAMIST NING KODANIKE HOIATAMIST VÕIMALIKE OHTUDE EEST; 2) POOLAUTOMAATNE KIRURGILISTE KUJUTISTE ANALÜÜSIMINE, EELKÕIGE SELLEKS, ET KAUGJUHTIMISE TEEL TOETADA OTSUSTE TEGEMIST HAIGUSTE RAVIS; (3) TSÖLIAAKIA ANALÜÜSI JA AVASTAMISE TOETAMINE. SEETÕTTU LOODAME, ET PROJEKTIL ON SOTSIAALNE MÕJU, SEST SEE VÕIB AIDATA KAASA RIIKLIKU TERVISHOIUSÜSTEEMI JÄTKUSUUTLIKKUSELE JA TÕHUSUSELE, KUI SUUDAME SAAVUTADA TULEMUSI JA VAHENDEID, MIDA SAAB PRAKTIKAS KASUTADA. LÕPETUSEKS VÕIME MAINIDA, ET LISAKS MÕJULE, MIDA MEIE TULEMUSED AVALDAVAD RIIKLIKELE JA RAHVUSVAHELISTELE TEADUSRINGKONDADELE, AVALDADES OMA TULEMUSED ASJAKOHASTEL FOORUMITEL NING VÕIMALIKULE JA SOOVITAVALE MÕJULE TERVISERISKIDE ENNETAMISEL, LOODAME, ET MEIE PROJEKTIL ON KESKPIKAS PERSPEKTIIVIS MAJANDUSLIK MÕJU. MÄRKIMISVÄÄRNE HULK ETTEVÕTTEID ON NÄIDANUD ÜLES HUVI KUULSUSPROJEKTIS OSALEMISE VASTU. EELKÕIGE SAAVAD TARKVARA ARENDAMISE ETAPPIDES OSALEVAD ETTEVÕTTED HINNATA MEIE TÖÖVAHENDITE KASULIKKUST JA OTSUSTADA, KAS NEID SAAB KAASATA OMA TOOTMISTSÜKLITESSE. (Estonian)
18 August 2022
0 references
A HÍRNÉV PROJEKT FŐ CÉLJA (FORMÁLIS MODELLEZÉS ÉS FEJLETT TESZTELÉSI MÓDSZEREK). AZ ORVOSI ÉS SZÁMÍTÁSTECHNIKAI RENDSZEREK ALKALMAZÁSAINAK) CÉLJA, HOGY MÓDSZERTANOKKAL ÉS ESZKÖZÖKKEL HOZZÁJÁRULJON A KOMPLEX SZOFTVERRENDSZEREK FORMÁLIS FEJLESZTÉSÉHEZ. TEKINTETTEL ARRA, HOGY EZ EGY SZÉLES KÖRŰ TANULMÁNYI TERÜLET, ÉS FIGYELEMBE VÉVE A HÍRNÉVNEK MEGFELELŐ CSOPORTOK KORÁBBI TAPASZTALATAIT, KÜLÖNÖS FIGYELMET FORDÍTUNK A RENDSZEREK MODELLEZÉSÉRE ÉS FORMÁLIS ELEMZÉSÉRE, TESZTELÉSI TECHNIKÁK ALKALMAZÁSÁVAL. A HÍRNÉVPROJEKT A TESIS (TIN2009–14312-C02), A MODSOA (TIN2011–27242), AZ ESTUDIO (TIN2012–36812-C02) ÉS A DARDOS (TIN2015–65845-C3-R) PROJEKTEK KERETÉBEN ELÉRT EREDMÉNYEKEN ALAPUL. Ez nagyon fontos, hogy a PIS (1 UCM-től, 2 UCA-tól és 1 UCLM-től) A FOMEN._x000D_ A FAME PROJECT HOZZÁZOTT A KERESKEDELMI AJÁNLÁSRA VONATKOZÓ KÖVETKEZŐ KÖVETKEZŐ KÖVETKEZŐKÉNEK. A PROJEKT AZONBAN NEM HAGYJA FIGYELMEN KÍVÜL A KAPOTT EREDMÉNYEK ALKALMAZÁSÁT. KÉT FŐ MUNKATERÜLETET VIZSGÁLUNK: MODELLEZÉS ÉS TESZTELÉS. AZ ELSŐ ÁLTALÁNOS CÉLKITŰZÉS, A MODELLEZÉS ALKALMAZÁSA ÉRDEKÉBEN A KÜLÖNBÖZŐ TÍPUSÚ RENDSZEREK ÉS JELÖLÉSEK FORMALIZÁLÁSÁRA IRÁNYULÓ KORÁBBI MUNKÁKAT ALKALMAZZUK, KÜLÖNÖS TEKINTETTEL AZ ELEKTRONIKUS SZERZŐDÉSEKRE ÉS AZ ESEMÉNYEK FELDOLGOZÁSÁRA. FORMALIZÁLJUK A FELHŐT, FORMÁLIS MÓDSZEREKET ALKALMAZVA A FELHŐ ARCHITEKTÚRÁINAK ÉS A FELHŐBEN FUTÓ ALKALMAZÁSOK TERVEZÉSÉRE ÉS ELEMZÉSÉRE. MÁSODIK ÁLTALÁNOS CÉLKITŰZÉSÜNK, FEJLETT TESZTELÉSI MÓDSZEREINK ELÉRÉSE ÉRDEKÉBEN ÚJ KERETRENDSZEREKET FOGUNK TANULMÁNYOZNI A KÜLÖNBÖZŐ TÍPUSÚ RENDSZEREK ÉS A KÜLÖNBÖZŐ SZÉLES KÖRBEN HASZNÁLT NYELVEK HIVATALOS TESZTELÉSÉRE. AZ ELMÉLETI MUNKA MELLETT MINDEN ÁLTALÁNOS CÉLKITŰZÉS MAGÁBAN FOGLALJA AZ ESZKÖZÖK FEJLESZTÉSÉT. EZEK AZ ESZKÖZÖK HOZZÁ FOGNAK JÁRULNI A MÓDSZERTANOK ÉS AZ ELMÉLETI EREDMÉNYEK GYAKORLATI MEGVALÓSÍTÁSÁHOZ. EGY MÁSIK ÁLTALÁNOS CÉLKITŰZÉST VIZSGÁLTUNK MEG AZ EGÉSZSÉGÜGYI PROBLÉMÁK ELEMZÉSÉVEL ÉS MEGELŐZÉSÉVEL FOGLALKOZÓ ESETTANULMÁNYOK SZÁMÁRA. KIINDULÓPONTKÉNT VESSZÜK A DARDOS PROJEKT EREDMÉNYEIT ÉS ESZKÖZEIT, DE TELJESEN ÚJ MUNKAVONALAKAT NYITUNK MEG. KONKRÉTAN EBBEN AZ UTOLSÓ CÉLBAN MÉRLEGELJÜK (1) A LÉGSZENNYEZŐ ANYAGOKKAL ÉS TOVÁBBI LEVEGŐBEN LÉVŐ RÉSZECSKÉKKEL KAPCSOLATOS PROBLÉMÁK FELTÁRÁSÁT ÉS A POLGÁROK FIGYELMEZTETÉSÉT A LEHETSÉGES VESZÉLYEKRE; (2) FÉLAUTOMATA CHIRURGIKUS KÉPEK ELEMZÉSE, KÜLÖNÖSEN A BETEGSÉGEK KEZELÉSÉRE VONATKOZÓ DÖNTÉSHOZATAL TÁVOLRÓL TÖRTÉNŐ TÁMOGATÁSA ÉRDEKÉBEN; (3) A CÖLIÁKIÁS BETEGSÉG ELEMZÉSÉNEK ÉS KIMUTATÁSÁNAK TÁMOGATÁSA. EZÉRT REMÉLJÜK, HOGY A PROJEKTNEK TÁRSADALMI HATÁSA VAN, MIVEL HOZZÁJÁRULHAT A NEMZETI EGÉSZSÉGÜGYI RENDSZER FENNTARTHATÓSÁGÁHOZ ÉS HATÉKONYSÁGÁHOZ, HA KÉPESEK VAGYUNK A GYAKORLATBAN FELHASZNÁLHATÓ EREDMÉNYEKET ÉS ESZKÖZÖKET ELŐÁLLÍTANI. VÉGEZETÜL MEGEMLÍTHETJÜK, HOGY EREDMÉNYEINKNEK A NEMZETI ÉS NEMZETKÖZI TUDOMÁNYOS KÖZÖSSÉGEKRE GYAKOROLT HATÁSA, EREDMÉNYEINKNEK A MEGFELELŐ FÓRUMOKON VALÓ KÖZZÉTÉTELE, VALAMINT AZ EGÉSZSÉGÜGYI KOCKÁZATOK MEGELŐZÉSÉRE GYAKOROLT LEHETSÉGES ÉS KÍVÁNATOS HATÁSOK MELLETT REMÉLJÜK, HOGY PROJEKTÜNK KÖZÉPTÁVON GAZDASÁGI HATÁSSAL LESZ. JELENTŐS SZÁMÚ VÁLLALAT JELEZTE ÉRDEKLŐDÉSÉT A HÍRNÉVPROJEKTBEN VALÓ RÉSZVÉTEL IRÁNT. A SZOFTVERFEJLESZTÉSI SZAKASZOKBAN RÉSZT VEVŐ VÁLLALATOK ÉRTÉKELNI TUDJÁK ESZKÖZEINK HASZNOSSÁGÁT, ÉS ELDÖNTHETIK, HOGY BEVONHATÓK-E A GYÁRTÁSI CIKLUSAIKBA. (Hungarian)
18 August 2022
0 references
ОСНОВНАТА ЦЕЛ НА ИЗВЕСТНИЯ ПРОЕКТ (ФОРМАЛНО МОДЕЛИРАНЕ И УСЪВЪРШЕНСТВАНИ МЕТОДИ ЗА ТЕСТВАНЕ. ПРИЛОЖЕНИЯ КЪМ МЕДИЦИНАТА И КОМПЮТЪРНИТЕ СИСТЕМИ) ТРЯБВА ДА ДОПРИНАСЯТ С МЕТОДОЛОГИИ И ИНСТРУМЕНТИ ЗА ОФИЦИАЛНОТО РАЗРАБОТВАНЕ НА СЛОЖНИ СОФТУЕРНИ СИСТЕМИ. КАТО СЕ ИМА ПРЕДВИД ФАКТЪТ, ЧЕ ТОВА Е ШИРОКА ОБЛАСТ НА ОБУЧЕНИЕ И КАТО СЕ ИМА ПРЕДВИД ПРЕДИШНИЯТ ОПИТ НА ГРУПИТЕ, ОТГОВАРЯЩИ НА СЛАВАТА, ЩЕ ОБЪРНЕМ СПЕЦИАЛНО ВНИМАНИЕ НА МОДЕЛИРАНЕТО И ФОРМАЛНИЯ АНАЛИЗ, ИЗПОЛЗВАЙКИ ТЕХНИКИ ЗА ТЕСТВАНЕ, НА СИСТЕМИ. ПРОЕКТЪТ ЗА СЛАВА СЕ ОСНОВАВА НА РЕЗУЛТАТИТЕ, ПОСТИГНАТИ В КОНТЕКСТА НА ПРОЕКТИТЕ TESIS (TIN2009—14312-C02), MODSOA (TIN2011—27242), ESTUDIO (TIN2012—36812-C02) И DARDOS (TIN2015—65845-C3-R). Той е СЪДЪРЖАНИЕТО НА ЧЕТВЪРТО ПИС (1 от UCM, 2 от UCA и 1 от UCLM) САЖЕН._x000D_ FAME PROJECT ще се добере до теоретикално приложение, което може да се случи, за да се постигне по-голяма цена. ПРОЕКТЪТ ОБАЧЕ НЕ ОСТАВЯ НАСТРАНА ПРИЛАГАНЕТО НА ПОЛУЧЕНИТЕ РЕЗУЛТАТИ. РАЗГЛЕЖДАМЕ ДВЕ ОСНОВНИ НАПРАВЛЕНИЯ НА РАБОТА: МОДЕЛИРАНЕ И ТЕСТВАНЕ. ЗА ДА ПОСТИГНЕМ ПЪРВАТА ОБЩА ЦЕЛ, ПРИЛОЖЕНИЯ НА МОДЕЛИРАНЕТО, ЩЕ ПРИЛОЖИМ ПРЕДИШНА РАБОТА ПО ФОРМАЛНИ МОДЕЛИ ЗА ФОРМАЛИЗИРАНЕ НА РАЗЛИЧНИ ВИДОВЕ СИСТЕМИ И НОТАЦИИ, С АКЦЕНТ ВЪРХУ ЕЛЕКТРОННИТЕ ДОГОВОРИ И ОБРАБОТКАТА НА СЪБИТИЯ. ЩЕ ФОРМАЛИЗИРАМЕ ОБЛАКА, ПРИЛАГАЙКИ ФОРМАЛНИ МЕТОДИ ЗА ПРОЕКТИРАНЕ И АНАЛИЗ НА ОБЛАЧНИТЕ АРХИТЕКТУРИ И НА ПРИЛОЖЕНИЯТА, РАБОТЕЩИ В ОБЛАКА. ЗА ДА ПОСТИГНЕМ ВТОРАТА СИ ОБЩА ЦЕЛ, УСЪВЪРШЕНСТВАНИ МЕТОДИ ЗА ТЕСТВАНЕ, ЩЕ ПРОУЧИМ НОВИ РАМКИ ЗА ИЗВЪРШВАНЕ НА ОФИЦИАЛНИ ТЕСТОВЕ НА РАЗЛИЧНИ ВИДОВЕ СИСТЕМИ И НА РАЗЛИЧНИ ШИРОКО ИЗПОЛЗВАНИ ЕЗИЦИ. В ДОПЪЛНЕНИЕ КЪМ ТЕОРЕТИЧНАТА РАБОТА, ВСИЧКИ ОБЩИ ЦЕЛИ ЩЕ ВКЛЮЧВАТ РАЗРАБОТВАНЕТО НА ИНСТРУМЕНТИ. ТЕЗИ ИНСТРУМЕНТИ ЩЕ СПОМОГНАТ ЗА ПРАКТИЧЕСКОТО ПРИЛАГАНЕ НА МЕТОДОЛОГИИТЕ И ТЕОРЕТИЧНИТЕ РЕЗУЛТАТИ. РАЗГЛЕДАХМЕ ДРУГА ОБЩА ЦЕЛ, ПОСВЕТЕНА НА КАЗУСИТЕ, СВЪРЗАНИ С АНАЛИЗА И ПРЕДОТВРАТЯВАНЕТО НА ЗДРАВОСЛОВНИ ПРОБЛЕМИ. ЩЕ ВЗЕМЕМ КАТО ОТПРАВНА ТОЧКА РЕЗУЛТАТИТЕ И ИНСТРУМЕНТИТЕ, ПРОИЗВЕДЕНИ В ПРОЕКТА DARDOS, НО ЩЕ ОТВОРИМ НАПЪЛНО НОВИ ЛИНИИ НА РАБОТА. ПО-КОНКРЕТНО, В ТАЗИ ПОСЛЕДНА ЦЕЛ РАЗГЛЕЖДАМЕ 1) ОТКРИВАНЕ НА ПРОБЛЕМИ, СВЪРЗАНИ СЪС ЗАМЪРСИТЕЛИ НА ВЪЗДУХА И ДОПЪЛНИТЕЛНИ ЧАСТИЦИ, ПРЕНАСЯНИ ВЪВ ВЪЗДУХА, И ПРЕДУПРЕЖДАВАНЕ НА ГРАЖДАНИТЕ ЗА ПОТЕНЦИАЛНИ ОПАСНОСТИ; (2) ПОЛУАВТОМАТИЧЕН АНАЛИЗ НА ХИРУРГИЧНИ ИЗОБРАЖЕНИЯ, ПО-СПЕЦИАЛНО ЗА ДИСТАНЦИОННО ПОДПОМАГАНЕ НА ВЗЕМАНЕТО НА РЕШЕНИЯ ЗА ЛЕЧЕНИЕ НА ЗАБОЛЯВАНИЯ; (3) ПОДПОМАГАНЕ НА АНАЛИЗА И ОТКРИВАНЕТО НА ЦЕЛИАКИЯ. ЕТО ЗАЩО СЕ НАДЯВАМЕ, ЧЕ ПРОЕКТЪТ ИМА СОЦИАЛНО ВЪЗДЕЙСТВИЕ, ТЪЙ КАТО ПОТЕНЦИАЛНО МОЖЕ ДА ДОПРИНЕСЕ ЗА УСТОЙЧИВОСТТА И ЕФЕКТИВНОСТТА НА НАЦИОНАЛНАТА ЗДРАВНА СИСТЕМА, АКО СМЕ В СЪСТОЯНИЕ ДА ПОСТИГНЕМ РЕЗУЛТАТИ И ИНСТРУМЕНТИ, КОИТО МОГАТ ДА БЪДАТ ИЗПОЛЗВАНИ НА ПРАКТИКА. НАКРАЯ, МОЖЕМ ДА СПОМЕНЕМ, ЧЕ В ДОПЪЛНЕНИЕ КЪМ ВЪЗДЕЙСТВИЕТО НА НАШИТЕ РЕЗУЛТАТИ ВЪРХУ НАЦИОНАЛНИТЕ И МЕЖДУНАРОДНИТЕ НАУЧНИ ОБЩНОСТИ, КАТО ПУБЛИКУВАМЕ РЕЗУЛТАТИТЕ СИ НА СЪОТВЕТНИТЕ ФОРУМИ, КАКТО И НА ВЪЗМОЖНОТО И ЖЕЛАТЕЛНО ВЪЗДЕЙСТВИЕ ВЪРХУ ПРЕВЕНЦИЯТА НА РИСКОВЕТЕ ЗА ЗДРАВЕТО, СЕ НАДЯВАМЕ, ЧЕ ПРОЕКТЪТ НИ ЩЕ ИМА ИКОНОМИЧЕСКО ВЪЗДЕЙСТВИЕ В СРЕДНОСРОЧЕН ПЛАН. ЗНАЧИТЕЛЕН БРОЙ ДРУЖЕСТВА СА ПОКАЗАЛИ ИНТЕРЕС КЪМ УЧАСТИЕТО СИ В ПРОЧУТИЯ ПРОЕКТ. ПО-СПЕЦИАЛНО, КОМПАНИИТЕ, КОИТО УЧАСТВАТ В ЕТАПИТЕ НА РАЗРАБОТВАНЕ НА СОФТУЕР, ЩЕ МОГАТ ДА ОЦЕНЯТ ПОЛЕЗНОСТТА НА НАШИТЕ ИНСТРУМЕНТИ И ДА РЕШАТ ДАЛИ ТЕ МОГАТ ДА БЪДАТ ВКЛЮЧЕНИ В ТЕХНИТЕ ПРОИЗВОДСТВЕНИ ЦИКЛИ. (Bulgarian)
18 August 2022
0 references
PAGRINDINIS ŠLOVĖS PROJEKTO TIKSLAS (FORMALUS MODELIAVIMAS IR PAŽANGŪS TESTAVIMO METODAI. MEDICINOS IR KOMPIUTERINIŲ SISTEMŲ TAIKOMOSIOS PROGRAMOS) – METODIKOMIS IR PRIEMONĖMIS PRISIDĖTI PRIE FORMALAUS SUDĖTINGŲ PROGRAMINĖS ĮRANGOS SISTEMŲ KŪRIMO. ATSIŽVELGIANT Į TAI, KAD TAI YRA PLATI STUDIJŲ SRITIS, IR ATSIŽVELGIANT Į ANKSTESNĘ GRUPIŲ, ATITINKANČIŲ ŠLOVĘ, PATIRTĮ, YPATINGĄ DĖMESĮ SKIRSIME SISTEMŲ MODELIAVIMUI IR FORMALIAI ANALIZEI, NAUDOJANT BANDYMŲ METODUS. ŠLOVĖS PROJEKTAS GRINDŽIAMAS TESIS (TIN2009–14312-C02), MODSOA (TIN2011–27242), ESTUDIO (TIN2012–36812-C02) IR DARDOS (TIN2015–65845-C3-R) PROJEKTŲ REZULTATAIS. Tai DAUGIAU POS (iš UCM, 2 iš UCA ir 1 iš UCLM) DAUGIAU._x000D_ FAME PROJEKTAS TIKSLAS TIKSLAS TIKSLAS TIKSLAS TIKSLAS TIKSLAS KURIUOS APSAUGOS ĮSIPAREIGOJIMAS. TAČIAU ĮGYVENDINANT PROJEKTĄ NEPALIEKAMA NUOŠALYJE NUO GAUTŲ REZULTATŲ TAIKYMO. MES SVARSTOME DVI PAGRINDINES DARBO KRYPTIS: MODELIAVIMAS IR BANDYMAI. SIEKDAMI PIRMOJO BENDRO TIKSLO – MODELIAVIMO TAIKYMO, PRITAIKYSIME ANKSTESNIUS OFICIALIUS MODELIUS, KAD ĮTEISINTUME ĮVAIRIŲ TIPŲ SISTEMAS IR UŽRAŠUS, DAUGIAUSIA DĖMESIO SKIRDAMI ELEKTRONINĖMS SUTARTIMS IR RENGINIŲ APDOROJIMUI. MES ĮTEISINSIME DEBESĮ, PRITAIKYDAMI OFICIALIUS METODUS DEBESŲ ARCHITEKTŪROS IR DEBESYJE VEIKIANČIŲ PROGRAMŲ KŪRIMUI IR ANALIZEI. SIEKDAMI ANTROJO BENDRO TIKSLO, PAŽANGIŲ TESTAVIMO METODŲ, MES IŠTIRSIME NAUJAS SISTEMAS, KAD GALĖTUME ATLIKTI FORMALŲ ĮVAIRIŲ SISTEMŲ TIPŲ IR ĮVAIRIŲ PLAČIAI VARTOJAMŲ KALBŲ TESTAVIMĄ. BE TEORINIO DARBO, VISI BENDRIEJI TIKSLAI APIMS PRIEMONIŲ KŪRIMĄ. ŠIOS PRIEMONĖS PADĖS PRAKTIŠKAI PRITAIKYTI METODIKĄ IR TEORINIUS REZULTATUS. MES SVARSTĖME DAR VIENĄ BENDRĄ TIKSLĄ, SKIRTĄ ATVEJŲ TYRIMAMS, SUSIJUSIEMS SU SVEIKATOS PROBLEMŲ ANALIZE IR PREVENCIJA. ATSPIRTIES TAŠKU REMSIMĖS DARDOS PROJEKTO REZULTATAIS IR ĮRANKIAIS, BET ATIDARYSIME VISIŠKAI NAUJAS DARBO LINIJAS. KONKREČIAI ŠIAME PASKUTINIAME UŽDAVINYJE APSVARSTOME GALIMYBĘ 1) NUSTATYTI PROBLEMAS, SUSIJUSIAS SU ORO TERŠALAIS IR PAPILDOMOMIS ORE ESANČIOMIS DALELĖMIS, IR ĮSPĖTI PILIEČIUS APIE GALIMUS PAVOJUS; (2) PUSIAU AUTOMATINIS CHIRURGINIŲ VAIZDŲ ANALIZAVIMAS, VISŲ PIRMA NUOTOLINIS SPRENDIMŲ PRIĖMIMAS LIGŲ GYDYMUI; (3) REMTI CELIAKIJOS LIGOS ANALIZĘ IR NUSTATYMĄ. TODĖL TIKIMĖS, KAD PROJEKTAS TURĖS SOCIALINĮ POVEIKĮ, NES JIS GALI PRISIDĖTI PRIE NACIONALINĖS SVEIKATOS VISUOMENĖS SISTEMOS TVARUMO IR VEIKSMINGUMO, JEI GALĖSIME PASIEKTI REZULTATŲ IR PRIEMONIŲ, KURIAS BŪTŲ GALIMA PANAUDOTI PRAKTIKOJE. GALIAUSIAI GALIME PAMINĖTI, KAD, BE MŪSŲ REZULTATŲ POVEIKIO NACIONALINĖMS IR TARPTAUTINĖMS MOKSLINĖMS BENDRIJOMS, PASKELBDAMI SAVO REZULTATUS ATITINKAMUOSE FORUMUOSE, TAIP PAT APIE GALIMĄ IR PAGEIDAUJAMĄ POVEIKĮ RIZIKOS SVEIKATAI PREVENCIJAI, TIKIMĖS, KAD MŪSŲ PROJEKTAS TURĖS EKONOMINĮ POVEIKĮ VIDUTINĖS TRUKMĖS LAIKOTARPIU. NEMAŽAI ĮMONIŲ PARODĖ SAVO SUSIDOMĖJIMĄ ĮSITRAUKIMU Į ŠLOVĖS PROJEKTĄ. VISŲ PIRMA, PROGRAMINĖS ĮRANGOS KŪRIMO ETAPUOSE DALYVAUJANČIOS ĮMONĖS GALĖS ĮVERTINTI MŪSŲ ĮRANKIŲ NAUDINGUMĄ IR NUSPRĘSTI, AR JIE GALI BŪTI ĮTRAUKTI Į JŲ GAMYBOS CIKLUS. (Lithuanian)
18 August 2022
0 references
GLAVNI CILJ PROJEKTA SLAVE (FORMALNO MODELIRANJE I NAPREDNE METODE TESTIRANJA. PRIMJENA U MEDICINI I RAČUNALNIM SUSTAVIMA) TREBA DOPRINIJETI, S POMOĆU METODOLOGIJA I ALATA, FORMALNOM RAZVOJU SLOŽENIH SOFTVERSKIH SUSTAVA. S OBZIROM NA ČINJENICU DA JE RIJEČ O ŠIROKOM PODRUČJU PROUČAVANJA I UZIMAJUĆI U OBZIR PRETHODNA ISKUSTVA SKUPINA KOJE USKLAĐUJU SLAVU, POSEBNU POZORNOST POSVETIT ĆEMO MODELIRANJU I FORMALNOJ ANALIZI, KORISTEĆI TEHNIKE TESTIRANJA, SUSTAVA. PROJEKT SLAVE NADOVEZUJE SE NA REZULTATE DOBIVENE U KONTEKSTU PROJEKATA TESIS (TIN2009 – 14312-C02), MODSOA (TIN2011 – 27242), ESTUDIO (TIN2012 – 36812-C02) I DARDOS (TIN2015 – 65845-C3-R). To je WORTH MENTIONING OVU OBAVIJESTI (1 iz UCM-a, 2 od UCA i 1 iz UCLM-a) je WOMEN._x000D_ FAME PROJECT ĆE SMJEŠTAJ KORISTIČKI APPROACH u ORDER-u za ACCOMPLISH ITS MAIN GOALS. MEĐUTIM, PROJEKT NE OSTAVLJA PO STRANI PRIMJENU DOBIVENIH REZULTATA. SUD RAZMATRA DVIJE GLAVNE LINIJE RADA: MODELIRANJE I TESTIRANJE. KAKO BI SE POSTIGAO PRVI OPĆI CILJ, PRIMJENA MODELIRANJA, PRIMIJENIT ĆEMO PRETHODNI RAD NA FORMALNIM MODELIMA KAKO BISMO FORMALIZIRALI RAZLIČITE VRSTE SUSTAVA I NOTACIJA, S NAGLASKOM NA ELEKTRONIČKE UGOVORE I OBRADU DOGAĐAJA. FORMALIZIRAT ĆEMO OBLAK PRIMJENJUJUĆI FORMALNE METODE NA DIZAJN I ANALIZU OBLAKSKIH ARHITEKTURA I APLIKACIJA KOJE SE IZVODE U OBLAKU. KAKO BI SE POSTIGAO NAŠ DRUGI OPĆI CILJ, NAPREDNE METODE TESTIRANJA, PROUČAVAT ĆEMO NOVE OKVIRE ZA OBAVLJANJE FORMALNOG TESTIRANJA RAZLIČITIH VRSTA SUSTAVA I RAZLIČITIH ŠIROKO KORIŠTENIH JEZIKA. OSIM TEORIJSKOG RADA, SVI OPĆI CILJEVI UKLJUČIVAT ĆE RAZVOJ ALATA. TI ĆE ALATI POMOĆI U PRIMJENI METODOLOGIJA I TEORIJSKIH REZULTATA. RAZMOTRILI SMO JOŠ JEDAN OPĆI CILJ POSVEĆEN STUDIJAMA SLUČAJA KOJE SE BAVE ANALIZOM I PREVENCIJOM ZDRAVSTVENIH PROBLEMA. KAO POLAZIŠTE UZET ĆEMO REZULTATE I ALATE PROIZVEDENE U PROJEKTU DARDOS, ALI OTVARAMO POTPUNO NOVE LINIJE RADA. KONKRETNO, U OVOM POSLJEDNJEM CILJU RAZMATRAMO (1) OTKRIVANJE PROBLEMA VEZANIH UZ ONEČIŠĆUJUĆE TVARI U ZRAKU I DODATNE ČESTICE KOJE SE PRENOSE ZRAKOM TE UPOZORAVANJE GRAĐANA O MOGUĆIM OPASNOSTIMA; (2) POLUAUTOMATSKA ANALIZA KIRURŠKIH SLIKA, POSEBNO KAKO BI SE NA DALJINU PODUPRLO DONOŠENJE ODLUKA O LIJEČENJU BOLESTI; (3) POTPORA ANALIZI I OTKRIVANJU CELIJAKIJE. STOGA SE NADAMO DA ĆE PROJEKT IMATI SOCIJALNI UČINAK JER POTENCIJALNO MOŽE DOPRINIJETI ODRŽIVOSTI I UČINKOVITOSTI NACIONALNOG JAVNOG ZDRAVSTVENOG SUSTAVA AKO MOŽEMO PROIZVESTI REZULTATE I ALATE KOJI SE MOGU KORISTITI U PRAKSI. NAPOSLJETKU, MOŽEMO SPOMENUTI DA SE, OSIM UTJECAJA NAŠIH REZULTATA NA NACIONALNE I MEĐUNARODNE ZNANSTVENE ZAJEDNICE, OBJAVLJIVANJEM NAŠIH REZULTATA NA RELEVANTNIM FORUMIMA TE MOGUĆEG I POŽELJNOG UTJECAJA NA PREVENCIJU ZDRAVSTVENIH RIZIKA, NADAMO DA ĆE NAŠ PROJEKT IMATI GOSPODARSKI UČINAK U SREDINI RAZDOBLJA. ZNATAN BROJ TVRTKI POKAZAO JE INTERES ZA UKLJUČIVANJE U SLAVNI PROJEKT. KONKRETNO, PODUZEĆA KOJA SUDJELUJU U FAZAMA RAZVOJA SOFTVERA MOĆI ĆE PROCIJENITI KORISNOST NAŠIH ALATA I ODLUČITI MOGU LI SE UKLJUČITI U SVOJE PROIZVODNE CIKLUSE. (Croatian)
18 August 2022
0 references
HUVUDSYFTET MED BERÖMMELSEPROJEKTET (FORMELL MODELLERING OCH AVANCERADE TESTMETODER). TILLÄMPNINGAR FÖR MEDICIN OCH DATORSYSTEM) ÄR ATT MED METODER OCH VERKTYG BIDRA TILL DEN FORMELLA UTVECKLINGEN AV KOMPLEXA PROGRAMVARUSYSTEM. MED TANKE PÅ ATT DETTA ÄR ETT BRETT STUDIEOMRÅDE, OCH MED HÄNSYN TILL TIDIGARE ERFARENHETER FRÅN DE GRUPPER SOM ANPASSAR SIG TILL BERÖMMELSE, KOMMER VI ATT ÄGNA SÄRSKILD UPPMÄRKSAMHET ÅT MODELLERING OCH FORMELL ANALYS, MED HJÄLP AV TESTTEKNIKER, AV SYSTEM. BERÖMMELSEPROJEKTET BYGGER PÅ DE RESULTAT SOM TAGITS FRAM INOM RAMEN FÖR PROJEKTEN TESIS (TIN2009–14312-C02), MODSOA (TIN2011–27242), ESTUDIO (TIN2012–36812-C02) OCH DARDOS (TIN2015–65845-C3-R). Det ÄR SOMEN._x000D_The FAME PROJEKT kommer att ANSER en TheORETICAL APPROACH I ORDER TO ACCOMPLISH ITS MAIN GOALS. PROJEKTET FÖRBISER DOCK INTE TILLÄMPNINGEN AV DE UPPNÅDDA RESULTATEN. VI ANSER ATT DET FINNS TVÅ HUVUDSAKLIGA ARBETSLINJER: MODELLERING OCH TESTNING. FÖR ATT UPPNÅ DET FÖRSTA ALLMÄNNA MÅLET, TILLÄMPNING AV MODELLERING, KOMMER VI ATT TILLÄMPA TIDIGARE ARBETE MED FORMELLA MODELLER FÖR ATT FORMALISERA OLIKA TYPER AV SYSTEM OCH NOTERINGAR, MED FOKUS PÅ ELEKTRONISKA KONTRAKT OCH EVENEMANGSHANTERING. VI KOMMER ATT FORMALISERA MOLNET GENOM ATT TILLÄMPA FORMELLA METODER FÖR DESIGN OCH ANALYS AV MOLNARKITEKTURER OCH AV APPLIKATIONER SOM KÖRS I MOLNET. FÖR ATT UPPNÅ VÅRT ANDRA ALLMÄNNA MÅL, AVANCERADE TESTMETODER, KOMMER VI ATT STUDERA NYA RAMAR FÖR ATT UTFÖRA FORMELL TESTNING AV OLIKA TYPER AV SYSTEM OCH AV OLIKA ALLMÄNT ANVÄNDA SPRÅK. FÖRUTOM DET TEORETISKA ARBETET KOMMER ALLA DE ALLMÄNNA MÅLEN ATT OMFATTA UTVECKLING AV VERKTYG. DESSA VERKTYG KOMMER ATT BIDRA TILL ATT OMSÄTTA METODERNA OCH DE TEORETISKA RESULTATEN I PRAKTIKEN. VI HAR ÖVERVÄGT ETT ANNAT ALLMÄNT MÅL FÖR FALLSTUDIER SOM HANDLAR OM ANALYS OCH FÖREBYGGANDE AV HÄLSOPROBLEM. VI TAR SOM UTGÅNGSPUNKT DE RESULTAT OCH VERKTYG SOM PRODUCERAS I DARDOS-PROJEKTET MEN VI ÖPPNAR HELT NYA ARBETSLINJER. I DETTA SISTA MÅL ÖVERVÄGER VI SÄRSKILT 1) ATT UPPTÄCKA PROBLEM I SAMBAND MED LUFTFÖRORENINGAR OCH YTTERLIGARE LUFTBURNA PARTIKLAR OCH ATT VARNA MEDBORGARNA OM POTENTIELLA FAROR, (2) HALVAUTOMATISK ANALYS AV KIRURGISKA BILDER, SÄRSKILT FÖR ATT PÅ DISTANS STÖDJA BESLUTSFATTANDET OM BEHANDLING AV SJUKDOMAR. (3) STÖDJA ANALYS OCH PÅVISANDE AV CELIAKI. DÄRFÖR HOPPAS VI ATT PROJEKTET HAR EN SOCIAL INVERKAN EFTERSOM DET POTENTIELLT KAN BIDRA TILL HÅLLBARHETEN OCH EFFEKTIVITETEN I DET NATIONELLA OFFENTLIGA HÄLSO- OCH SJUKVÅRDSSYSTEMET OM VI KAN PRODUCERA RESULTAT OCH VERKTYG SOM KAN ANVÄNDAS I PRAKTIKEN. SLUTLIGEN KAN VI NÄMNA ATT VI UTÖVER RESULTATENS INVERKAN PÅ DE NATIONELLA OCH INTERNATIONELLA VETENSKAPLIGA GEMENSKAPERNA, GENOM ATT OFFENTLIGGÖRA VÅRA RESULTAT I RELEVANTA FORUM OCH AV MÖJLIGA OCH ÖNSKVÄRDA EFFEKTER PÅ FÖREBYGGANDE AV HÄLSORISKER, HOPPAS ATT VÅRT PROJEKT KOMMER ATT FÅ EKONOMISKA KONSEKVENSER PÅ MEDELLÅNG SIKT. ETT STORT ANTAL FÖRETAG HAR VISAT INTRESSE FÖR ATT ENGAGERA SIG I BERÖMMELSEPROJEKTET. I SYNNERHET KOMMER FÖRETAG SOM DELTAR I MJUKVARUUTVECKLINGSFASEN ATT KUNNA UTVÄRDERA NYTTAN AV VÅRA VERKTYG OCH AVGÖRA OM DE KAN INGÅ I DERAS PRODUKTIONSCYKLER. (Swedish)
18 August 2022
0 references
SCOPUL PRINCIPAL AL PROIECTULUI DE FAIMĂ (MODELARE FORMALĂ ȘI METODE AVANSATE DE TESTARE. APLICAȚII PENTRU MEDICINĂ ȘI SISTEME INFORMATICE) TREBUIE SĂ CONTRIBUIE, CU AJUTORUL METODOLOGIILOR ȘI AL INSTRUMENTELOR, LA DEZVOLTAREA FORMALĂ A UNOR SISTEME INFORMATICE COMPLEXE. AVÂND ÎN VEDERE FAPTUL CĂ ACESTA ESTE UN DOMENIU LARG DE STUDIU ȘI ȚINÂND CONT DE EXPERIENȚA ANTERIOARĂ A GRUPURILOR CARE SE CONFORMEAZĂ FAIMEI, VOM ACORDA O ATENȚIE DEOSEBITĂ MODELĂRII ȘI ANALIZEI FORMALE, FOLOSIND TEHNICI DE TESTARE, A SISTEMELOR. PROIECTUL DE FAIMĂ SE BAZEAZĂ PE REZULTATELE OBȚINUTE ÎN CONTEXTUL PROIECTELOR TESIS (TIN2009-14312-C02), MODSOA (TIN2011-27242), ESTUDIO (TIN2012-36812-C02) ȘI DARDOS (TIN2015-65845-C3-R). Este MUNCĂ CĂ PURUL PIS (1 DIN UCM, 2 DIN UCA ȘI 1 DIN UCLM) Sunt WOMEN._x000D_ PROJECT FAME VA CONSIDERA O APLICAȚIE O APLICARE A APLICĂ ÎN REGULAMENTUL LA ACCOMPLISH ITS MAIN GOALS. CU TOATE ACESTEA, PROIECTUL NU LASĂ DEOPARTE APLICAREA REZULTATELOR OBȚINUTE. CURTEA IA ÎN CONSIDERARE DOUĂ DIRECȚII PRINCIPALE DE ACTIVITATE: MODELARE ȘI TESTARE. PENTRU A ATINGE PRIMUL OBIECTIV GENERAL, APLICAȚII DE MODELARE, VOM APLICA LUCRĂRI ANTERIOARE PE MODELE FORMALE PENTRU A FORMALIZA DIFERITE TIPURI DE SISTEME ȘI NOTAȚII, CU ACCENT PE CONTRACTELE ELECTRONICE ȘI PROCESAREA EVENIMENTELOR. VOM FORMALIZA NORUL, APLICÂND METODE FORMALE LA PROIECTAREA ȘI ANALIZA ARHITECTURILOR CLOUD ȘI A APLICAȚIILOR CARE RULEAZĂ ÎN CLOUD. PENTRU A ATINGE AL DOILEA OBIECTIV GENERAL, METODELE AVANSATE DE TESTARE, VOM STUDIA NOI CADRE PENTRU A EFECTUA TESTAREA FORMALĂ A DIFERITELOR TIPURI DE SISTEME ȘI A DIFERITELOR LIMBI UTILIZATE PE SCARĂ LARGĂ. PE LÂNGĂ ACTIVITATEA TEORETICĂ, TOATE OBIECTIVELE GENERALE VOR INCLUDE DEZVOLTAREA DE INSTRUMENTE. ACESTE INSTRUMENTE VOR CONTRIBUI LA PUNEREA ÎN PRACTICĂ A METODOLOGIILOR ȘI A REZULTATELOR TEORETICE. AM LUAT ÎN CONSIDERARE UN ALT OBIECTIV GENERAL DEDICAT STUDIILOR DE CAZ CARE ABORDEAZĂ ANALIZA ȘI PREVENIREA PROBLEMELOR DE SĂNĂTATE. VOM LUA CA PUNCT DE PLECARE REZULTATELE ȘI INSTRUMENTELE PRODUSE ÎN PROIECTUL DARDOS, DAR DESCHIDEM LINII DE LUCRU COMPLET NOI. ÎN SPECIAL, ÎN ACEST ULTIM OBIECTIV, LUĂM ÎN CONSIDERARE (1) DETECTAREA PROBLEMELOR LEGATE DE POLUANȚII ATMOSFERICI ȘI DE PARTICULELE AEROPURTATE SUPLIMENTARE ȘI AVERTIZAREA CETĂȚENILOR CU PRIVIRE LA POTENȚIALELE PERICOLE; (2) ANALIZA SEMIAUTOMATĂ A IMAGINILOR CHIRURGICALE, ÎN SPECIAL PENTRU A SPRIJINI DE LA DISTANȚĂ LUAREA DECIZIILOR PRIVIND TRATAMENTUL BOLILOR; (3) SPRIJINIREA ANALIZEI ȘI DEPISTĂRII BOLII CELIACE. PRIN URMARE, SPERĂM CĂ PROIECTUL ARE UN IMPACT SOCIAL, DEOARECE POATE CONTRIBUI LA SUSTENABILITATEA ȘI EFICIENȚA SISTEMULUI PUBLIC NAȚIONAL DE SĂNĂTATE DACĂ SUNTEM CAPABILI SĂ PRODUCEM REZULTATE ȘI INSTRUMENTE CARE POT FI UTILIZATE ÎN PRACTICĂ. ÎN CELE DIN URMĂ, PUTEM MENȚIONA CĂ, PE LÂNGĂ IMPACTUL REZULTATELOR NOASTRE ASUPRA COMUNITĂȚILOR ȘTIINȚIFICE NAȚIONALE ȘI INTERNAȚIONALE, PRIN PUBLICAREA REZULTATELOR NOASTRE ÎN FORUMURI RELEVANTE ȘI A IMPACTULUI POSIBIL ȘI DEZIRABIL ÎN PREVENIREA RISCURILOR PENTRU SĂNĂTATE, SPERĂM CĂ PROIECTUL NOSTRU VA AVEA UN IMPACT ECONOMIC PE TERMEN MEDIU. UN NUMĂR CONSIDERABIL DE COMPANII ȘI-AU MANIFESTAT INTERESUL DE A SE IMPLICA ÎN PROIECTUL DE FAIMĂ. ÎN SPECIAL, COMPANIILE CARE PARTICIPĂ LA ETAPELE DE DEZVOLTARE DE SOFTWARE VOR FI ÎN MĂSURĂ SĂ EVALUEZE UTILITATEA INSTRUMENTELOR NOASTRE ȘI SĂ DECIDĂ DACĂ ACESTEA POT FI INCLUSE ÎN CICLURILE LOR DE PRODUCȚIE. (Romanian)
18 August 2022
0 references
GLAVNI CILJ PROJEKTA SLAVE (FORMALNO MODELIRANJE IN NAPREDNE METODE TESTIRANJA. APLIKACIJE V MEDICINI IN RAČUNALNIŠKIH SISTEMIH) MORAJO Z METODOLOGIJAMI IN ORODJI PRISPEVATI K FORMALNEMU RAZVOJU KOMPLEKSNIH SISTEMOV PROGRAMSKE OPREME. GLEDE NA TO, DA GRE ZA ŠIROKO ŠTUDIJSKO PODROČJE, IN OB UPOŠTEVANJU PREDHODNIH IZKUŠENJ SKUPIN, KI SO SKLADNE S SLAVO, BOMO POSEBNO POZORNOST NAMENILI MODELIRANJU IN FORMALNI ANALIZI SISTEMOV S POMOČJO TESTNIH TEHNIK. PROJEKT SLAVE TEMELJI NA REZULTATIH PROJEKTOV TESIS (TIN2009–14312-C02), MODSOA (TIN2011–27242), ESTUDIO (TIN2012–36812-C02) IN DARDOS (TIN2015–65845-C3-R). To je WORTH MENTIONING TO FOUR of the PIS (1 od UCM, 2 od UCA in 1 od UCLM) JE WOMEN._x000D_ FAME PROJEKT VELIKO POGODBENJE TEORETICALNE ZAGOTAVLJANJA NA PODROČJIH ITS MAIN GOALS. VENDAR PROJEKT NE PUŠČA OB STRANI UPORABE PRIDOBLJENIH REZULTATOV. SODIŠČE MENI, DA STA DVE GLAVNI PODROČJI DELA: MODELIRANJE IN TESTIRANJE. DA BI DOSEGLI PRVI SPLOŠNI CILJ, APLIKACIJE MODELIRANJA, BOMO UPORABILI PREDHODNO DELO NA FORMALNIH MODELIH ZA FORMALIZACIJO RAZLIČNIH VRST SISTEMOV IN NOT, S POUDARKOM NA ELEKTRONSKIH POGODBAH IN OBDELAVI DOGODKOV. OBLAK BOMO FORMALIZIRALI Z UPORABO FORMALNIH METOD ZA OBLIKOVANJE IN ANALIZO ARHITEKTUR V OBLAKU IN APLIKACIJ, KI SE IZVAJAJO V OBLAKU. DA BI DOSEGLI NAŠ DRUGI SPLOŠNI CILJ, NAPREDNE METODE TESTIRANJA, BOMO PREUČILI NOVE OKVIRE ZA IZVAJANJE FORMALNEGA TESTIRANJA RAZLIČNIH VRST SISTEMOV IN RAZLIČNIH ŠIROKO UPORABLJANIH JEZIKOV. POLEG TEORETIČNEGA DELA BODO VSI SPLOŠNI CILJI VKLJUČEVALI RAZVOJ ORODIJ. TA ORODJA BODO POMAGALA V PRAKSI UPORABITI METODOLOGIJE IN TEORETIČNE REZULTATE. OBRAVNAVALI SMO ŠE EN SPLOŠNI CILJ, NAMENJEN ŠTUDIJAM PRIMEROV, KI OBRAVNAVAJO ANALIZO IN PREPREČEVANJE ZDRAVSTVENIH TEŽAV. ZA IZHODIŠČE BOMO VZELI REZULTATE IN ORODJA, USTVARJENA V PROJEKTU DARDOS, VENDAR BOMO ODPRLI POVSEM NOVE LINIJE DELA. ZLASTI PRI TEM ZADNJEM CILJU UPOŠTEVAMO (1) ODKRIVANJE TEŽAV, POVEZANIH Z ONESNAŽEVALI ZRAKA IN DODATNIMI DELCI V ZRAKU, TER OPOZARJANJE DRŽAVLJANOV NA MOREBITNE NEVARNOSTI; (2) POLAVTOMATSKO ANALIZIRANJE KIRURGIČNIH PODOB, ZLASTI ZA PODPORO ODLOČANJU O ZDRAVLJENJU BOLEZNI NA DALJAVO; (3) PODPORA ANALIZI IN ODKRIVANJU CELIAKIJE. ZATO UPAMO, DA BO IMEL PROJEKT SOCIALNI UČINEK, SAJ LAHKO POTENCIALNO PRISPEVA K TRAJNOSTI IN UČINKOVITOSTI NACIONALNEGA ZDRAVSTVENEGA JAVNEGA SISTEMA, ČE BOMO LAHKO USTVARILI REZULTATE IN ORODJA, KI JIH JE MOGOČE UPORABITI V PRAKSI. NA KONCU LAHKO OMENIMO, DA POLEG VPLIVA NAŠIH REZULTATOV NA NACIONALNE IN MEDNARODNE ZNANSTVENE SKUPNOSTI Z OBJAVO NAŠIH REZULTATOV V USTREZNIH FORUMIH TER MOŽNEGA IN ZAŽELENEGA VPLIVA NA PREPREČEVANJE ZDRAVSTVENIH TVEGANJ UPAMO, DA BO IMEL NAŠ PROJEKT V SREDNJEROČNEM OBDOBJU GOSPODARSKI VPLIV. VELIKO PODJETIJ JE POKAZALO, DA SE ZANIMAJO ZA SODELOVANJE V PROJEKTU SLAVE. ZLASTI PODJETJA, KI SODELUJEJO V FAZAH RAZVOJA PROGRAMSKE OPREME, BODO LAHKO OCENILA UPORABNOST NAŠIH ORODIJ IN SE ODLOČILA, ALI JIH JE MOGOČE VKLJUČITI V SVOJE PROIZVODNE CIKLE. (Slovenian)
18 August 2022
0 references
GŁÓWNYM CELEM PROJEKTU SŁAWY (MODELOWANIE FORMALNE I ZAAWANSOWANE METODY TESTOWANIA. ZASTOSOWANIA W MEDYCYNIE I SYSTEMACH OBLICZENIOWYCH) MA PRZYCZYNIĆ SIĘ, ZA POMOCĄ METOD I NARZĘDZI, DO FORMALNEGO ROZWOJU ZŁOŻONYCH SYSTEMÓW OPROGRAMOWANIA. BIORĄC POD UWAGĘ FAKT, ŻE JEST TO SZEROKIE POLE BADAŃ I BIORĄC POD UWAGĘ DOTYCHCZASOWE DOŚWIADCZENIA GRUP ZGODNYCH ZE SŁAWĄ, ZWRÓCIMY SZCZEGÓLNĄ UWAGĘ NA MODELOWANIE I FORMALNĄ ANALIZĘ, Z WYKORZYSTANIEM TECHNIK TESTOWYCH, SYSTEMÓW. PROJEKT SŁAWY OPIERA SIĘ NA WYNIKACH PROJEKTÓW TESIS (TIN2009-14312-C02), MODSOA (TIN2011-27242), ESTUDIO (TIN2012-36812-C02) I DARDOS (TIN2015-65845-C3-R). Jest DZIĘKUJĄCY TEGO FOUR of the PIS (1 Z UCM, 2 Z UCA i 1 Z UCLM) ARE WOMEN._x000D_ PROJEKT FAME będzie utożsamiać się z teoretycznym APPROACHEM W ZAMÓWIENIU DO KONTAKTÓW MAJĄCYCH. PROJEKT NIE POMIJA JEDNAK ZASTOSOWANIA UZYSKANYCH REZULTATÓW. ROZWAŻAMY DWIE GŁÓWNE KIERUNKI PRACY: MODELOWANIE I TESTOWANIE. ABY OSIĄGNĄĆ PIERWSZY CEL OGÓLNY, ZASTOSOWANIA MODELOWANIA, BĘDZIEMY STOSOWAĆ WCZEŚNIEJSZE PRACE NAD MODELAMI FORMALNYMI W CELU SFORMALIZOWANIA RÓŻNYCH RODZAJÓW SYSTEMÓW I NOTACJI, ZE SZCZEGÓLNYM UWZGLĘDNIENIEM UMÓW ELEKTRONICZNYCH I PRZETWARZANIA ZDARZEŃ. SFORMALIZUJEMY CHMURĘ, STOSUJĄC FORMALNE METODY PROJEKTOWANIA I ANALIZY ARCHITEKTURY CHMURY I APLIKACJI DZIAŁAJĄCYCH W CHMURZE. ABY OSIĄGNĄĆ NASZ DRUGI OGÓLNY CEL, ZAAWANSOWANE METODY TESTOWANIA, BĘDZIEMY BADAĆ NOWE RAMY DO PRZEPROWADZANIA FORMALNYCH TESTÓW RÓŻNYCH TYPÓW SYSTEMÓW I RÓŻNYCH POWSZECHNIE STOSOWANYCH JĘZYKÓW. OPRÓCZ PRAC TEORETYCZNYCH, WSZYSTKIE CELE OGÓLNE BĘDĄ OBEJMOWAĆ ROZWÓJ NARZĘDZI. NARZĘDZIA TE PRZYCZYNIĄ SIĘ DO PRAKTYCZNEGO WDROŻENIA METODOLOGII I WYNIKÓW TEORETYCZNYCH. ROZWAŻALIŚMY KOLEJNY OGÓLNY CEL POŚWIĘCONY STUDIUM PRZYPADKU DOTYCZĄCEMU ANALIZY I ZAPOBIEGANIA PROBLEMOM ZDROWOTNYM. ZA PUNKT WYJŚCIA WEŹMIEMY WYNIKI I NARZĘDZIA OPRACOWANE W RAMACH PROJEKTU DARDOS, ALE OTWIERAMY ZUPEŁNIE NOWE KIERUNKI PRACY. W SZCZEGÓLNOŚCI W TYM OSTATNIM CELU ROZWAŻAMY (1) WYKRYWANIE PROBLEMÓW ZWIĄZANYCH Z ZANIECZYSZCZENIAMI POWIETRZA I DODATKOWYMI CZĄSTKAMI W POWIETRZU ORAZ OSTRZEGANIE OBYWATELI PRZED POTENCJALNYMI ZAGROŻENIAMI; 2) PÓŁAUTOMATYCZNA ANALIZA OBRAZÓW CHIRURGICZNYCH, W SZCZEGÓLNOŚCI W CELU ZDALNEGO WSPIERANIA PODEJMOWANIA DECYZJI W LECZENIU CHORÓB; (3) WSPOMAGANIE ANALIZY I WYKRYWANIA CELIAKII. W ZWIĄZKU Z TYM MAMY NADZIEJĘ, ŻE PROJEKT MA WPŁYW SPOŁECZNY, PONIEWAŻ MOŻE POTENCJALNIE PRZYCZYNIĆ SIĘ DO TRWAŁOŚCI I SKUTECZNOŚCI KRAJOWEGO PUBLICZNEGO SYSTEMU OPIEKI ZDROWOTNEJ, JEŻELI BĘDZIEMY W STANIE OSIĄGNĄĆ WYNIKI I NARZĘDZIA, KTÓRE MOŻNA WYKORZYSTAĆ W PRAKTYCE. NA KONIEC MOŻEMY WSPOMNIEĆ, ŻE OPRÓCZ WPŁYWU NASZYCH WYNIKÓW NA KRAJOWE I MIĘDZYNARODOWE WSPÓLNOTY NAUKOWE, POPRZEZ PUBLIKOWANIE NASZYCH WYNIKÓW NA ODPOWIEDNICH FORACH, A TAKŻE MOŻLIWEGO I POŻĄDANEGO WPŁYWU NA ZAPOBIEGANIE ZAGROŻENIOM DLA ZDROWIA, MAMY NADZIEJĘ, ŻE NASZ PROJEKT BĘDZIE MIAŁ WPŁYW GOSPODARCZY W PERSPEKTYWIE ŚREDNIOTERMINOWEJ. ZNACZNA LICZBA PRZEDSIĘBIORSTW WYKAZAŁA ZAINTERESOWANIE ZAANGAŻOWANIEM SIĘ W PROJEKT SŁAWY. W SZCZEGÓLNOŚCI FIRMY UCZESTNICZĄCE W FAZIE OPRACOWYWANIA OPROGRAMOWANIA BĘDĄ W STANIE OCENIĆ PRZYDATNOŚĆ NASZYCH NARZĘDZI I ZDECYDOWAĆ, CZY MOŻNA JE UWZGLĘDNIĆ W SWOICH CYKLACH PRODUKCYJNYCH. (Polish)
18 August 2022
0 references
Albacete
0 references
20 December 2023
0 references
Identifiers
RTI2018-093608-B-C32
0 references