Handling of Operating Modes in Contract-Based Timing Specifications-Reference-Cited by-同舟云学术

Handling of Operating Modes in Contract-Based Timing Specifications

Published:2022 Issue: Volume: Page:59-74
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Kröger Janis,Koopmann Björn,Stierand Ingo,Tabassam Nadra,Fränzle Martin

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-030-98850-0_5

Reference12 articles.

1. Bebawy, Y., et al.: Incremental contract-based verification of software updates for safety-critical cyber-physical systems. In: International Conference on Computational Science and Computational Intelligence. IEEE (2020). https://doi.org/10.1109/CSCI51800.2020.00318

2. Benveniste, A., et al.: Contracts for system design. Found. Trends Electron. Des. Autom. 12(2–3), 124–400 (2018). https://doi.org/10.1561/1000000053

3. Böde, E., et al.: Design paradigms for multi-layer time coherency in ADAS and automated driving (MULTIC). In: FAT Series. No. 302, Research Association for Automotive Technology (2017). https://www.vda.de/vda/de/aktuelles/publikationen/publication/fat-schriftenreihe-302

4. Böde, E., et al.: MULTIC-Tooling. In: FAT Series. No. 316, Research Association for Automotive Technology (2019). https://www.vda.de/vda/de/aktuelles/publikationen/publication/fat-schriftenreihe-316

5. Lecture Notes in Computer Science;A Champion,2016

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

1. Contract-based specification of mode-dependent timing behavior;Innovations in Systems and Software Engineering;2023-09-07

2. Challenges in Achieving Explainability for Cooperative Transportation Systems;2022 IEEE 30th International Requirements Engineering Conference Workshops (REW);2022-08

3. Roles and Responsibilities for a Predictable Update Process – A Position Paper;Lecture Notes in Computer Science;2022