Unlike practices in electrical and mechanical equipment engineering, Cyber-Physical Systems (CPS) do not have a set of standardized and harmonized practices for assurance and certification that ensures safe, secure and reliable operation with typical software and hardware architectures. This paper presents a recent initiative called AMASS (Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems) to promote harmonization, reuse and automation of labour-intensive certification-oriented activities via using model-based approaches and incremental techniques. AMASS will develop an integrated and holistic approach, a supporting tool ecosystem and a self-sustainable community for assurance and certific...
The growing digitalisation of our economies and societies is driving the need for increased connecti...
Safety-critical systems, those whose failure could end up in loss or injuries to people or the envir...
Nowadays mechanical engineering products change from mechatronic systems to Cyber-Physical Systems (...
Unlike practices in electrical and mechanical equipment engineering, Cyber-Physical Systems (CPS) do...
Most safety-critical systems must undergo assurance and certification processes. The associated acti...
Safety-critical systems are subject to rigorous assurance and certification processes to guarantee t...
Safety-critical systems are subject to rigorous assurance and certification processes to guarantee t...
We are currently witnessing a 3rd industrial revolution, driven by ever more interconnected distribu...
International audienceProviding a wide variety of technologies for ensuring the safety and dependabi...
We discuss the problem of high-assurance development of cyber-physical systems. Specifically, we con...
Cyber-physical systems (CPS) like production facilities, medical devices, and modern cars play an in...
Contracts are envisaged to support compositional verification of a system as well as reuse and indep...
Cyber-Physical Systems (CPS) are increasingly novel hardware and software compositions creating smar...
In this paper we will discuss challenges and directions for component certification in cyber physica...
The certification of systems in the medical domain aims to ensure that a system is acceptably safein...
The growing digitalisation of our economies and societies is driving the need for increased connecti...
Safety-critical systems, those whose failure could end up in loss or injuries to people or the envir...
Nowadays mechanical engineering products change from mechatronic systems to Cyber-Physical Systems (...
Unlike practices in electrical and mechanical equipment engineering, Cyber-Physical Systems (CPS) do...
Most safety-critical systems must undergo assurance and certification processes. The associated acti...
Safety-critical systems are subject to rigorous assurance and certification processes to guarantee t...
Safety-critical systems are subject to rigorous assurance and certification processes to guarantee t...
We are currently witnessing a 3rd industrial revolution, driven by ever more interconnected distribu...
International audienceProviding a wide variety of technologies for ensuring the safety and dependabi...
We discuss the problem of high-assurance development of cyber-physical systems. Specifically, we con...
Cyber-physical systems (CPS) like production facilities, medical devices, and modern cars play an in...
Contracts are envisaged to support compositional verification of a system as well as reuse and indep...
Cyber-Physical Systems (CPS) are increasingly novel hardware and software compositions creating smar...
In this paper we will discuss challenges and directions for component certification in cyber physica...
The certification of systems in the medical domain aims to ensure that a system is acceptably safein...
The growing digitalisation of our economies and societies is driving the need for increased connecti...
Safety-critical systems, those whose failure could end up in loss or injuries to people or the envir...
Nowadays mechanical engineering products change from mechatronic systems to Cyber-Physical Systems (...