Zobrazeno 1 - 10
of 12
pro vyhledávání: '"Ernest Wozniak"'
Publikováno v:
Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops ISBN: 9783030555825
SAFECOMP Workshops
SAFECOMP Workshops
Several standards from the domain of safety critical systems, in order to support the argumentation of the safety assurance of a system under development, recommend the construction of a safety case. This activity is guided by the objectives to be me
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0e5610a8936729c22974a3acafb3e8db
https://doi.org/10.1007/978-3-030-55583-2_28
https://doi.org/10.1007/978-3-030-55583-2_28
Publikováno v:
Automated Software Engineering
Automated Software Engineering, Springer Verlag, 2019, 26 (1), pp.1-57. ⟨10.1007/s10515-018-0244-7⟩
Automated Software Engineering, 2019, 26 (1), pp.1-57. ⟨10.1007/s10515-018-0244-7⟩
Automated Software Engineering, Springer Verlag, 2019, 26 (1), pp.1-57. ⟨10.1007/s10515-018-0244-7⟩
Automated Software Engineering, 2019, 26 (1), pp.1-57. ⟨10.1007/s10515-018-0244-7⟩
Recent development methodologies from the industry and the academia for complex real-time systems define a stage in which system functions are deployed onto an execution platform. The deployment consists of the placement of functions on a distributed
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9af5a04f60b5274cf69d73b7009cb47e
https://hal.archives-ouvertes.fr/hal-02060027
https://hal.archives-ouvertes.fr/hal-02060027
Publikováno v:
ICIT
The idea of an open platform, i.e. a platform in which apps from different vendors can be executed, is used in many domains. In the context of industrial automation systems this concept leads to the challenge of executing apps of different criticalit
Autor:
George Kornaros, Christian Prehofer, Oliver Horst, Alvise Rigo, Nora Koch, Marcello Coppola, Ernest Wozniak
Cyber-physical systems (CPS) are devices with sensors and actuators which link the physical with the virtual world. There is a strong trend towards open systems, which can be extended during operation by instantly adding functionalities on demand. We
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6bc6173810eddca3db254d823d44a9b8
https://doi.org/10.4018/978-1-5225-2845-6.ch012
https://doi.org/10.4018/978-1-5225-2845-6.ch012
Autor:
Sara Tucci-Piergiovanni, Chokri Mraidha, Marco Di Natale, Haibo Zeng, Sébastien Gérard, Ernest Wozniak
Publikováno v:
ASE
Proceedings of the 29th ACM/IEEE international conference on Automated software engineering
Proceedings of the 29th ACM/IEEE international conference on Automated software engineering, Sep 2014, Vasteras, France. ⟨10.1145/2642937.2643015⟩
Proceedings of the 29th ACM/IEEE international conference on Automated software engineering, Sep 2014, Vasteras, France. ACM Press, 〈10.1145/2642937.2643015〉
Proceedings of the 29th ACM/IEEE international conference on Automated software engineering
Proceedings of the 29th ACM/IEEE international conference on Automated software engineering, Sep 2014, Vasteras, France. ⟨10.1145/2642937.2643015⟩
Proceedings of the 29th ACM/IEEE international conference on Automated software engineering, Sep 2014, Vasteras, France. ACM Press, 〈10.1145/2642937.2643015〉
International audience; The adoption of AUTOSAR and Model Driven Engineering (MDE) for the design of automotive software architectures allows an early analysis of system properties and the automatic synthesis of architecture and software implementati
Publikováno v:
ETFA
Emerging Technologies & Factory Automation (ETFA), 2013 IEEE 18th Conference on
Emerging Technologies & Factory Automation (ETFA), 2013 IEEE 18th Conference on, Sep 2013, Cagliari, Italy
HAL
Emerging Technologies & Factory Automation (ETFA), 2013 IEEE 18th Conference on
Emerging Technologies & Factory Automation (ETFA), 2013 IEEE 18th Conference on, Sep 2013, Cagliari, Italy
HAL
International audience; Synthesis of automotive architectures is a complex problem that needs an automated support. AUTOSAR, standard for the specification of automotive architectures, defines a synthesis process of software components and their conn
Autor:
Sébastien Gérard, Marco Di Natale, Asma Mehiaoui, Laurent Lemarchand, Jean-Philippe Babau, Chokri Mraidha, Haibo Zeng, Ernest Wozniak, Sara Tucci-Piergiovanni
Publikováno v:
proceedings of LCTES 2013
SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2013
SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2013, Jun 2013, Seattle, United States. pp.121-132, ⟨10.1145/2465554.2465572⟩
LCTES
SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2013
SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2013, Jun 2013, Seattle, United States. pp.121-132, ⟨10.1145/2465554.2465572⟩
LCTES
International audience; Modern development methodologies from the industry and the academia for complex real-time systems define a stage in which application functions are deployed onto an execution platform. The deployment consists of the placement
Publikováno v:
SAE International Journal of Passenger Cars-Electronic and Electrical Systems
SAE International Journal of Passenger Cars-Electronic and Electrical Systems, 2013, 6, pp.276-286. ⟨10.4271/2013-01-1225⟩
SAE International Journal of Passenger Cars-Electronic and Electrical Systems, 2013, 6, pp.276-286. ⟨10.4271/2013-01-1225⟩
International audience; Clear and comprehensive view on an automotive system design, as well as its analysis/optimization, are the key research topics in the automotive domain. To tackle the first problem, modeling languages such as the EAST-ADL2 or
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5351f5f6b7dd6a0d9f0b9811029c3b52
https://cea.hal.science/cea-01810015
https://cea.hal.science/cea-01810015
Publikováno v:
IST-115 Symposium on Architecture Definition & Evaluation (The NATO Science and Technology Organization)
IST-115 Symposium on Architecture Definition & Evaluation (The NATO Science and Technology Organization), May 2013, Paris, France
HAL
IST-115 Symposium on Architecture Definition & Evaluation (The NATO Science and Technology Organization), May 2013, Paris, France
HAL
International audience; Hardware/software based solutions play significant role in many domains like automotive or avionics. Complexity of such real-time distributed systems is substantial. Their design and implementation is a long-term and complex p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::4d27232578bc808e078b7b6908836264
https://hal-cea.archives-ouvertes.fr/cea-01810005
https://hal-cea.archives-ouvertes.fr/cea-01810005
Publikováno v:
ETFA
Time budgets represent early estimates of execution times of system functions. They are assigned based on engineers experience and serve as an input for the early stage performance or schedulability analysis. This schedulability analysis test might b