Model-Based Verification and Validation of Safety-Critical Embedded Real-Time Systems: Formation and Tools-Reference-Cited by-同舟云学术

Model-Based Verification and Validation of Safety-Critical Embedded Real-Time Systems: Formation and Tools

Published:2013-11-20 Issue: Volume: Page:153-183
ISSN:1860-949X
Container-title:Embedded and Real Time System Development: A Software Engineering Perspective
language:
Short-container-title:

Author:

Khan Arsalan H.,Khan Zeashan H.,Weiguo Zhang

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-40888-5_6

Reference33 articles.

1. J.A. Stankovic, Misconceptions about real-time computing: a serious problem for next-generation systems. Computer 21(10), 10–19 (1988)

2. H. Kopetz, Real-Time Systems Design Principles for Distributed Embedded Applications (Kluwer Academic Publishers, London, 1997)

3. C.D. Locke, Best-Effort Decision Making for Real-Time Scheduling. Technical Report (CMUCS-86-134 Carnegie-Mellon University, Department of Computer Science, USA, 1986)

4. M. Grindal, B. Lindström, Challenges in testing real-time systems. Presented at in 10th international conferene on software testing analysis ad review (eurostar’ 02), Edinburgh, Scotland, 2002

5. J.W.S. Liu, Real-Time Systems (Prentice Hall, New Jersey, 2000)

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

1. Formal Verification of a Dependable State Machine-Based Hardware Architecture for Safety-Critical Cyber-Physical Systems: Analysis, Design, and Implementation;Journal of Electronic Testing;2024-07-05

2. Position and Torque Joint Control for Precision Drilling in Robotic Manufacturing Applications;2024 ASU International Conference in Emerging Technologies for Sustainability and Intelligent Systems (ICETSIS);2024-01-28

3. Real-time design patterns for the verification of safety-critical embedded systems in model-based approach;The Journal of Supercomputing;2024-01-27

4. Modeling and Prototyping of an Active Suspension System for Automobiles Using Hydraulic Actuators;2023 2nd International Conference on Emerging Trends in Electrical, Control, and Telecommunication Engineering (ETECTE);2023-11-27

5. HortiTECH: Design and Fabrication of a Tree Plantation Drone;2023 Computer Applications & Technological Solutions (CATS);2023-10-29