Component-based design of cyber-physical applications with safety-critical requirements-Reference-Cited by-同舟云学术

Component-based design of cyber-physical applications with safety-critical requirements

Author:

Masrur Alejandro,Kit Michał,Matěna Vladimír,Bureš Tomáš,Hardt Wolfram

Funder

Charles University

Publisher

Elsevier BV

Subject

Artificial Intelligence,Computer Networks and Communications,Hardware and Architecture,Software

Reference57 articles.

1. Challenges in engineering for software-intensive embedded systems;Beetz,2012

2. AUTOSAR: AUTomotive Open System ARchitecture, http://autosar.org, (accessed 06.02.16).

3. Understanding Petri Nets: Modeling Techniques, Analysis Methods, Case Studies;Reisig,2013

4. DEECo: An ensemble-based component system;Bures,2013

5. Foundations for ensemble modeling – the Helena approach;Hennicker,2014

Cited by 16 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Facilitating Safety and Security Co-design and Formal Analysis in Multi-layered System Modeling;2022 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech);2022-09-12

5. Multi-layered Model-based Design Approach towards System Safety and Security Co-engineering;2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C);2021-10