Publisher
Springer Science and Business Media LLC
Subject
Modelling and Simulation,Software
Reference43 articles.
1. Choi, Y.: Constraint specification and test generation for OSEK/VDX-based operating systems. In: 11th International conference on software engineering and formal methods, lecture notes in computer science, vol. 8137, pp. 305–319. Springer, (2013)
2. ISO CD 26262: Road vehicles—functional safety part 1 9: 2008.2.29
3. Botaschanjan, J., Broy, M., Gruler, A., Harhurin, A., Kanpp, S., Kof, L., Paul, W., Spichkova, M.: On the correctness of upper layers of automotive systems. Form. Asp. Comput. 20, 637–662 (2008)
4. Lettnin, D., Nalla, P., Behrend, J., Ruf, J., Gerlach, J., Kropf, T., Rosenstiel, W., Schonknecht, V., Reitemeyer, S.: Semiformal verification of temporal properties in automotive hardware dependent software. In: Proceedings of design, automation, and test in Europe conference and exhibition (2009)
5. der Riden, T.I., Kanpp, S.: An approach to the pervasive formal specification and verification of an automotive system. In: Proceedings of the international workshop on formal methods in industrial critical systems (2005)
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Property-based testing for LG home appliances using accelerated software-in-the-loop simulation;Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Software Engineering in Practice;2020-06-27
2. Towards automated safety analysis for architectures of dynamically forming networks of cyber-physical systems;Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops;2020-06-27
3. Model Checking Embedded Control Software using OS-in-the-Loop CEGAR;2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE);2019-11
4. Toward a Unified Executable Formal Automobile OS Kernel and Its Applications;IEEE Transactions on Reliability;2019-09
5. Some Thoughts on Model-Based Test Optimization;2019 IEEE 19th International Conference on Software Quality, Reliability and Security Companion (QRS-C);2019-07