Skip to main content
SpringerLink
Log in

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

  • Chapter
  • First Online:
Embedded and Real Time System Development: A Software Engineering Perspective

Part of the book series: Studies in Computational Intelligence ((SCI,volume 520))

Abstract

Verification, Validation and Testing (VV&T) is an imperative procedure for life cycle analysis of safety critical embedded real-time (ERT) systems. It covers software engineering to system engineering with VV&T procedures for every stage of system design e.g. static testing, functional testing, unit testing, fault injection testing, consistency techniques, Software-In-The-Loop (SIL) testing, evolutionary testing, Hardware-In-The-Loop (HIL) testing, black box testing, white box testing, integration testing, system testing, system integration testing, etc. This chapter discusses some of the approaches to demonstrate the importance of model-based VV&T in safety critical embedded real-time system development. An industrial case study is used to demonstrate the implementation feasibility of the VV&T methods.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
eBook
USD 16.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

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

    Article  Google Scholar 

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

    Google Scholar 

  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)

    Google Scholar 

  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

    Google Scholar 

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

    Google Scholar 

  6. VDC Research, Next Generation Embedded Hardware Architectures: driving Onset of Project Delays, Costs Overruns, and Software Development Challenges. Technical report, Sept 2010

    Google Scholar 

  7. M. van Genuchten, Why is software late? An empirical study of reasons for delay in software development. IEEE Trans. Softw. Eng. 17(6), 582–590 (1991)

    Article  Google Scholar 

  8. El al flight 1862, Aircraft Accident Report 92–11. Technical report (Netherlands Aviation Safety Board, Hoofddorp, 1994)

    Google Scholar 

  9. IEEE Standard 610.12-1990, Standard Glossary of Software Engineering Terminology (IEEE Service Center, NY, 1990)

    Google Scholar 

  10. I. Sommerville, Software Engineering, 6th edn. (Addison-Wesley Publishing Company, MA, 2001)

    Google Scholar 

  11. W. W. Royce, Managing the development of large software systems. Proceedings of Western Electronic Show and Convention, pp. 1–9, 1970. Reprinted in Proceedings of the 9th International Conference on, Software Engineering, pp. 328–338, 1987

    Google Scholar 

  12. C. Kaner, J. Falk, H. Nguyen, Testing Computer Software, 2nd edn. (Van Nostrand Reinhold, NY, 1999)

    Google Scholar 

  13. R.V. Binder, Testing Object-Oriented Systems: Models, Patterns, and Tools (Addison-Wesley, MA, 1999)

    Google Scholar 

  14. IEEE Standard 1028–1988, IEEE Standard for Software Reviews (IEEE Service Center, NY, 1988)

    Google Scholar 

  15. Simulink Verification and Validation, User’s Guide, Mathworks, Inc., http://www.mathworks.com

  16. Matlab and Simulink Mathworks. http://www.mathworks.com

  17. J.A. Whittaker, What is software testing? And why is it so hard? IEEE Softw. 17(1), 70–79 (2000)

    Article  Google Scholar 

  18. J. Wegener, M. Grochtmann, Verifying timing constraints of real-time systems by means of evolutionary testing. Real-Time Syst. 15(3), 275–298 (1998)

    Article  Google Scholar 

  19. J. Hänsel, D. Rose, P. Herber, S. Glesner, An Evolutionary Algorithm for the Generation of Timed Test Traces for Embedded Real-Time Systems. IEEE Fourth International Conference on Software Testing, Verification and Validation (ICST), 2011, pp. 170–179

    Google Scholar 

  20. R.L. Haupt, S.E. Haupt, Practical Genetic Algorithms (Wiley, New York, 2004)

    MATH  Google Scholar 

  21. B. Beizer, Software Testing Techniques, 2nd edn. (VNR, New York, 1990)

    Google Scholar 

  22. Toyota, North America Environmental Report (Toyota Motor North America, Inc., NY, 2010).

    Google Scholar 

  23. S.A. Jacklin, J. Schumann, P. Gupta, K. Havelund, J. Bosworth, E. Zavala, K. Hayhurst, C. Belcastro, C. Belcastro, Verification, Validation and Certification Challenges for Adaptive Flight-Critical Control Systems (AIAA Guidance, Navigation and Control, Invited Session Proposal Packet, 2004)

    Google Scholar 

  24. L. Pedersen, D. Kortenkamp, D. Wettergreen, I. Nourbakhsh, A survey of space robotics. Robotics (2003)

    Google Scholar 

  25. N. Nguyen, S.A. Jacklin, Neural Net Adaptive Flight Control Stability, Verification and Validation Challenges, and Future Research (IJCNN Conference, Orland Florida, 2007)

    Google Scholar 

  26. J.M. Buffington, V. Crum, B. Krogh, C. Plaisted, R. Prasanth, Verification and Validation of Intelligent and Adaptive Control Systems, in 2nd AIAA Unmanned Unlimited Systems Conference (San Diego, CA, 2003)

    Google Scholar 

  27. J. Schumann, W. Visser, Autonomy software: V & V challenges and characteristics, in Proceedings of the 2006. IEEE Aerospace Conference, 2006

    Google Scholar 

  28. Unmanned Dynamics LLC. Aerosim Blockset Version 1.2 User’s Guide, 2003

    Google Scholar 

  29. B.L. Stevens, F.L. Lewis, Aircraft Control and Simulation (John Wiley & Sons, Inc., 1992). ISBN 0-471-61397

    Google Scholar 

  30. A.H. Khan, Z. Weiguo, Z.H. Khan, S. Jingping, Evolutionary computing based modular control design for aircraft with redundant effectors. Procedia Eng. 29, 110–117 (2012). (2012 International Workshop on Information and Electronics Engineering)

    Google Scholar 

  31. A.H. Khan, Z. Weiguo, S. Jingping, Z.H. Khan, Optimized reconfigurable modular flight control design using swarm intelligence. Procedia Eng. 24, 621–628 (2011). (International Conference on Advances in Engineering 2011)

    Google Scholar 

  32. MathWorks User Stories. http://www.mathworks.com/company/user_stories/index.html

  33. N. ur Rehman, A.H. Khan, RT-Linux Based Simulator for Hardware-in-the Loop Simulations. International Bhurban Conference on Applied Sciences and Technology (IBCAST), Islamabad, 2007, pp. 78–81

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Northwestern Polytechnical University, Xi’an, People’s Republic of China

    Arsalan H. Khan & Zhang Weiguo

  2. Center for Emerging Sciences, Engineering and Technology (CESET), Islamabad, Pakistan

    Zeashan H. Khan

Authors
  1. Arsalan H. Khan
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Zeashan H. Khan
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Zhang Weiguo
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Arsalan H. Khan .

Editor information

Editors and Affiliations

  1. Department of Computer Science and Engineering, School of Engineering and Technology, Sharda University, Greater Noida, India

    Mohammad Ayoub Khan

  2. Department of Computer Sciences, Bahria University, Islamabad, Pakistan

    Saqib Saeed

  3. Faculty of Science, Helwan University, Cairo, Egypt

    Ashraf Darwish

  4. Scientific Network for Innovation and Research Excellence, Machine Intelligence Research Labs, Auburn, NY, USA

    Ajith Abraham

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Khan, A.H., Khan, Z.H., Weiguo, Z. (2014). Model-Based Verification and Validation of Safety-Critical Embedded Real-Time Systems: Formation and Tools. In: Khan, M., Saeed, S., Darwish, A., Abraham, A. (eds) Embedded and Real Time System Development: A Software Engineering Perspective. Studies in Computational Intelligence, vol 520. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40888-5_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-40888-5_6

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-40887-8

  • Online ISBN: 978-3-642-40888-5

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation