Agency: European Commission | Branch: H2020 | Program: IA | Phase: DS-01-2016 | Award Amount: 5.62M | Year: 2017
certMILS develops a security certification methodology for Cyber-physical systems (CPS). CPS are characterised by safety-critical nature, complexity, connectivity, and open technology. A common downside to CPS complexity and openness is a large attack surface and a high degree of dynamism that may lead to complex failures and irreparable physical damage. The legitimate fear of security or functional safety vulnerabilities in CPS results in arduous testing and certification processes. Once fielded, many CPS suffer from the motto: never change a running system. certMILS increases the economic efficiency and European competitiveness of CPS development, while demonstrating the effectiveness of safety & security certification of composable systems. The project employs a security-by-design concept originating from the avionics industry: Multiple Independent Levels of Security (MILS), which targets controlled information flow and resource usage amongst software applications. certMILS reduces certification complexity, promotes re-use, and enables secure updates to CPS throughout its life-cycle by providing certified separation of applications, i.e. if an application within a complex CPS fails or starts acting maliciously, other applications are unaffected. Security certification of complex systems to medium-high assurance levels is not solved today. The existing monolithic approaches cannot cope with the complexity of modern CPS. certMILS uses ISO/IEC 15408 and IEC 62443 to develop and applies a compositional security certification methodology to complex composable safety-critical systems operating in constantly evolving hostile environments. certMILS core results are standardised in a protection profile.certMILS develops three composable industrial CPS pilots (smart grid, railway, subway), certifies security of critical re-useable components, and ensures security certification for the pilots by certification labs in three EU countries with involvement of the authorities.
Agency: European Commission | Branch: H2020 | Program: ECSEL-IA | Phase: ECSEL-17-2015 | Award Amount: 64.82M | Year: 2016
ENABLE-S3 will pave the way for accelerated application of highly automated and autonomous systems in the mobility domains automotive, aerospace, rail and maritime as well as in the health care domain. Virtual testing, verification and coverage-oriented test selection methods will enable validation with reasonable efforts. The resulting validation framework will ensure Europeans Industry competitiveness in the global race of automated systems with an expected market potential of 60B in 2025. Project results will be used to propose standardized validation procedures for highly automated systems (ACPS). The technical objectives addressed are: 1. Provision of a test and validation framework that proves the functionality, safety and security of ACPS with at least 50% less test effort than required in classical testing. 2. Promotion of a new technique for testing of automated systems with physical sensor signal stimuli generators, which will be demonstrated for at least 3 physical stimuli generators. 3. Raising significantly the level of dependability of automated systems due to provision of a holistic test and validation platform and systematic coverage measures, which will reduce the probability of malfunction behavior of automated systems to 10E-9/h. 4. Provision of a validation environment for rapid re-qualification, which will allow reuse of validation scenarios in at least 3 development stages. 5. Establish open standards to speed up the adoption of the new validation tools and methods for ACPS. 6. Enabling safe, secure and functional ACPS across domains. 7. Creation of an eco-system for the validation and verification of automated systems in the European industry. ENABLE-S3 is strongly industry-driven. Realistic and relevant industrial use-cases from smart mobility and smart health will define the requirements to be addressed and assess the benefits of the technological progress.
Agency: European Commission | Branch: FP7 | Program: JTI-CP-ARTEMIS | Phase: SP1-JTI-ARTEMIS-2013-AIPP5 | Award Amount: 93.92M | Year: 2014
Embedded systems are the key innovation driver to improve almost all mechatronic products with cheaper and even new functionalities. Furthermore, they strongly support todays information society as inter-system communication enabler. Consequently boundaries of application domains are alleviated and ad-hoc connections and interoperability play an increasing role. At the same time, multi-core and many-core computing platforms are becoming available on the market and provide a breakthrough for system (and application) integration. A major industrial challenge arises facing (cost) efficient integration of different applications with different levels of safety and security on a single computing platform in an open context. The objective of the EMC project (Embedded multi-core systems for mixed criticality applications in dynamic and changeable real-time environments) is to foster these changes through an innovative and sustainable service-oriented architecture approach for mixed criticality applications in dynamic and changeable real-time environments. The EMC2 project focuses on the industrialization of European research outcomes and builds on the results of previous ARTEMIS, European and National projects. It provides the paradigm shift to a new and sustainable system architecture which is suitable to handle open dynamic systems. EMC is part of the European Embedded Systems industry strategy to maintain its leading edge position by providing solutions for: . Dynamic Adaptability in Open Systems . Utilization of expensive system features only as Service-on-Demand in order to reduce the overall system cost. . Handling of mixed criticality applications under real-time conditions . Scalability and utmost flexibility . Full scale deployment and management of integrated tool chains, through the entire lifecycle Approved by ARTEMIS-JU on 12/12/2013 for EoN. Minor mistakes and typos corrected by the Coordinator, finally approved by ARTEMIS-JU on 24/01/2014. Amendment 1 changes approved by ECSEL-JU on 31/03/2015.
Agency: European Commission | Branch: FP7 | Program: CP | Phase: ICT-2007.3.3 | Award Amount: 4.44M | Year: 2008
MOGENTES aims at significantly enhancing testing and verification of dependable embedded systems by means of automated generation of test-cases relying on development of new approaches as well as innovative integration of state-of-the-art techniques. Driven by the needs of its industrial partners, it will address both testing of non-functional issues like reliability, by e.g. system stress and overload tests, and functional safety tests, meeting the requirements of standards such as IEC 61508, ISO WD 26262, or AUTOSAR. MOGENTES will demonstrate that different domains with a wide variety of requirements can significantly benefit from a common model-based approach for achieving automated generation of efficient test-cases and for verifying system safety correctness using formal methods and fault injection, as this approach increases system development productivity while achieving predictable system dependability properties. For that purpose, proof-of-concept demonstrations will show the applicability of the developed technologies in two application domains: railway and automotive.In particular, MOGENTES aims at the application of these technologies in large industrial systems, simultaneously enabling application domain experts (with rather little knowledge and experience in usage of formal methods) to use them with minimal learning effort. All in all, MOGENTES will increase knowledge and develop new techniques and tools in the area of verification and validation of dependable embedded systems which can be applied in model-based development processes also by non-experts in formal methods.
Agency: European Commission | Branch: FP7 | Program: JTI-CP-ARTEMIS | Phase: SP1-JTI-ARTEMIS-2011-5;SP1-JTI-ARTEMIS-2011-1 | Award Amount: 15.29M | Year: 2012
European industry has a great potential to achieve a leading position in the growing global market of safety-relevant embedded systems, provided it is able to devise efficient and industrial-strength methods and processes for their development and certification. nSafeCer targets increased efficiency and reduced time-to-market by composable safety certification of safety-relevant embedded systems. A primary objective is to provide support for system safety arguments based on arguments and properties of system components, as well as to provide support for generation of corresponding evidence in a similar compositional way. By efficient reuse during certification and stronger links between certification and development, a higher degree of component reuse is envisioned. Improved quality and reduced risk during verification, qualification and certification, will increase European industry competitiveness and pave the way for a cross-domain market for components qualified for certification. The main industrial domains targeted in nSafeCer are aerospace, automotive, construction equipment and railway. Other domains such as health care and cross-domain aspects will also be considered. nSafeCer builds on the 2 year ARTEMIS pilot project pSafeCer launched in April 2011. Sharing the same overall goals, the concepts developed in pSafeCer are in nSafeCer advanced into tangible industrial implementations of project-ready, unified and seamlessly integrated solutions, and demonstrators of the proof of concepts. Certification guidelines and training examples for various other domains will also be developed. In addition to the deepening of the pSafeCer knowledge, nSafeCer adds scientific objectives, including support for product-lines and cross-domain certification and reuse. nSafeCer brings together leading companies and SMEs across Europe (including technology, tool, and competence providers, as well as certification and standardisation experts), which together with selected academic institutions are capable and motivated to realize the nSafeCer goals, specifically addressing ARTEMIS subprograms ASP1 and ASP5. The TA v2.1 was accepted by the ARTEMIS-JU PO on 7/3/2012. Withdraw of Latvian partner LDz resulted in new TA v2.2. The TA v2.2 was accepted by ARTEMIS-JU PO on 22/3/2012 Withdraw of French partner Delphi resulted in new TA v2.3 (numbering in TAv2.3 still includes DElPHI as partner number 15 but with zero effort and funding) In NEF Delphi is removed and MDS is partner 15, AdaCore partner 16 and so forth. The revised version 2.3 is accepted by the JU PO on 11/7/2012. Delphi withdraw was accepted by nSafeCer General Assembly on 12/7/2012.
Agency: European Commission | Branch: FP7 | Program: JTI-CP-ARTEMIS | Phase: SP1-JTI-ARTEMIS-2012-AIPP1 | Award Amount: 81.51M | Year: 2013
CRYSTAL aims at fostering Europes leading edge position in embedded systems engineering in particular regarding quality and cost effectiveness of safety-critical embedded systems and architecture platforms. Its overall goal is to enable sustainable paths to speed up the maturation, integration, and cross-sectoral reusability of technological and methodological bricks of the factories for safety-critical embedded systems engineering in the areas of transportation (aerospace, automotive, and rail) and healthcare providing a critical mass of European technology providers. CRYSTAL perfectly fits to other ARTEMIS projects, sharing the concept of a reference technology platform (RTP) as a consistent set of integration principles and seamless technology interoperability standards. Based on the methodologies of a service-oriented architecture and the results of previous projects CRYSTAL focuses on an industry-driven approach using cross-domain user stories, domain-specific use cases, public use cases, and technology bricks. This shall have a significant impact to strengthen European competitiveness regarding new markets and societal applications. In building an overall interoperability domain embedded systems, CRYSTAL will contribute to establishing a standard for model-based systems engineering in a certification and safety context which is expected to have global impact. By bringing together large enterprises and various industrial domains CRYSTAL will setup a sustainable innovation eco-system. By harmonizing the demands in the development of safety-relevant embedded systems including multi-viewpoint engineering and variability management across different industrial domains, CRYSTAL will achieve a strong acceptance from both vendors and the open-source community. CRYSTAL will drive forward interoperability towards a de facto standard providing an interoperable European RTP. Approved by the JU on 20-03-2015
Sunder C.,Thales Austria GmbH |
Vyatkin V.,University of Auckland |
Vyatkin V.,Lulea University of Technology |
Zoitl A.,Vienna University of Technology |
Zoitl A.,Fortiss GmbH
Transactions on Embedded Computing Systems | Year: 2013
This article presents a new formal approach to validation of on-the-fly modification of control software in automation systems. The concept of downtimeless system evolution (DSE) is introduced. The DSE is essentially based on the use of IEC 61499 system architecture and formal modeling and verification of the hardware and software of an automation device. The validation is performed by means of two complimentary techniques: analytic calculations and formal verification by model-checking. © 2013 ACM.
Agency: European Commission | Branch: H2020 | Program: RIA | Phase: ICT-10-2016 | Award Amount: 3.96M | Year: 2016
The ability to observe the internals of an execution of a computer-based system is a fundamental requirement for ultimately ensuring correctness and safe behaviour. Within COEMS (Continuous Observation of Embedded Multicore Systems) a novel observer platform with supporting verification methods for software systems is created. COEMS tackles the issues of detection and identification of non-deterministic software failures caused by race conditions and access to inconsistent data. It gives insight to the systems actual behaviour without affecting it allowing new verification methods. An efficient real-time access and analysis as a critical element for operating safe systems will be developed and validated by COEMS. Moreover, a cross-layer programming approach supporting failure detection will be proposed. COEMS aims at shortening the development cycle by considerably increased test efficiency and effectivity, by increased debug efficiency (especially for non-deterministically occurring failures) and by supporting performance optimization. COEMS improves the reliability of delivered systems, enabling software developers to identify, understand, and remove software defects before release, as well as improving efficiency of software for multi/many-core computing systems in terms of performance, real-time behaviour, and energy consumption. The two Global Players Thales Group and Airbus Group, both active in safety-critical domains, will validate the COEMS approach by suitable demonstrators, i.e. testing and debugging of real-world multicore applications. In addition to these two domains, we will address the domains of safety-critical medical applications, automation and automotive industry, as well as the Internet of Things. Technologically, COEMS will provide the world-wide first comprehensive online observation approach that is non-intrusive allowing improved testing and debugging. Altogether, COEMS will define a new state-of-the-art for software systems development.