From Design Contracts to Component Requirements Verification-Reference-Cited by-同舟云学术

From Design Contracts to Component Requirements Verification

Published:2016 Issue: Volume: Page:373-387
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Liu Jing,Backes John D.,Cofer Darren,Gacek Andrew

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-40648-0_28

Reference25 articles.

1. Lecture Notes in Computer Science;D Cofer,2012

2. Whalen, M.W., Gacek, A., Cofer, D.D., Murugesan, A., Heimdahl, M.P.E., Rayadurgam, S.: Your “what” is my “how”: Iteration and hierarchy in system design. IEEE Softw. 30, 54–60 (2013)

3. Feiler, P.H., Gluch, D.P.: Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language, 1st edn. Addison-Wesley Professional, Boston (2012)

4. MathWorks: Simulink (2016). http://www.mathworks.com/products/simulink/

5. RTCA DO-178C: Software Considerations in Airborne Systems and Equipment Certification, Washington, DC (2011)

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

1. Shelley: A Framework for Model Checking Call Ordering on Hierarchical Systems;Lecture Notes in Computer Science;2023

2. Mechanization of a Large DSML: An Experiment with AADL and Coq;2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE);2022-10-13

3. Contracts in System Development: From Multiconcern Analysis to Assurance With the Architecture Analysis and Design Language;IEEE Software;2022-07

4. SysML-based compositional verification and safety analysis for safety-critical cyber-physical systems;Connection Science;2021-12-26

5. From Lustre to Simulink;ACM Transactions on Cyber-Physical Systems;2021-07