Towards Recertification of Modular Updates in Integrated Maritime Systems of Systems-Reference-Cited by-同舟云学术

Towards Recertification of Modular Updates in Integrated Maritime Systems of Systems

Published:2020 Issue: Volume: Page:50-63
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Hake Georg,Feuerstack Sebastian,Hahn Axel

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-030-54549-9_4

Reference32 articles.

1. Denney, E., Pai, G., Habli, I.: Dynamic safety cases for through-life safety assurance. In: 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, Florence, Italy, pp. 587–590. IEEE (2015)

2. Cleaveland, R.: Formal certification of aerospace embedded software. In: National Workshop on Aviation Software Systems: Design for Certifiably Dependable Systems (2006)

3. Storey, N.R.: Safety Critical Computer Systems. Addison-Wesley Longman Publishing Co. Inc., Boston (1996)

4. Bate, I., Hansson, H., Punnekkat, S.: Better, faster, cheaper, and safer too—is this really possible?. In: Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies Factory Automation (ETFA 2012), pp. 1–4 (2012)

5. Jaradat, O.: Contracts-Based Maintenance of Safety Cases. Mälardalen University Press, Västerås (2018)

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

1. Exploring Safety Challenges in Dynamic Systems-of-Systems for Flood Management;2023 18th Annual System of Systems Engineering Conference (SoSe);2023-06-14

2. Extension of Contracts for Variability Modeling and Incremental Update Checks of Cyber Physical Systems;2021 IEEE International Symposium on Systems Engineering (ISSE);2021-09-13

3. Continuous Contract Based Verification of Updates in Maritime Shipboard Equipment;Journal of Marine Science and Engineering;2021-06-23

4. Maintaining safety requirements of updated maritime surveillance systems;IFAC-PapersOnLine;2021