The SAVE approach to component-based development of vehicular systems-Reference-Cited by-同舟云学术

The SAVE approach to component-based development of vehicular systems

Author:

Åkerholm Mikael,Carlson Jan,Fredriksson Johan,Hansson Hans,Håkansson John,Möller Anders,Pettersson Paul,Tivoli Massimo

Publisher

Elsevier BV

Subject

Hardware and Architecture,Information Systems,Software

Reference34 articles.

1. Towards a dependable component technology for embedded system applications;Åkerholm,2005

2. A theory of timed automata;Alur;Theoretical Computer Science,1994

3. Times: a tool for schedulability analysis and code generation of real-time systems;Amnell,2003

4. Verification of an audio protocol with bus collision using Uppaal;Bengtsson,1996

5. SaveCCM: an analysable component model for real-time systems;Carlson,2005

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

1. Automated Testing Framework for Embedded Component Systems;2023 IEEE 26th International Symposium on Real-Time Distributed Computing (ISORC);2023-05

2. Dynamically Interchangeable Framework for Component Behavior of Embedded Component Systems;2021 IEEE 19th International Conference on Embedded and Ubiquitous Computing (EUC);2021-10

4. Unit Testing Framework for Embedded Component Systems;2020 IEEE 18th International Conference on Embedded and Ubiquitous Computing (EUC);2020-12