Abstract
The current pandemic has necessitated new ways of learning in the academia and the industry. No access to the laboratory makes the student–teacher interaction a one-way street. Industry is also struggling to make the internal training session more interesting. An industry level training on safety-critical model-based design has been taken up as a simple project at home and the use of Blender, Arduino and a servo motor, available at home, is successfully utilized to demonstrate the system development process. The various steps of standards, building in safety, use of good requirements and developing models and using formal methods to validate the design are demonstrated in this study. Lessons learnt are articulated in the conclusion.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Yogananda, J.: Developing safety critical systems—my Mantras. https://www.youtube.com/watch?v=fpNqwobAWRU. Last accessed 18 Nov 2020
Jan, B., Mark, B.: Candidate software process flaws for the Boeing 737 Max MCAS algorithm and risks for a proposed upgrade. https://arxiv.org/abs/2001.05690. Last accessed 18 Nov 2020
Bradley, W.: Technological solutions to human error and how they can kill you: understanding the Boeing 737 max products liability litigation, 84 J. Air L. & Com. 379 (2019) https://scholar.smu.edu/jalc/vol84/iss3/3. Last accessed 18 Nov 2020
IEEE Standards Association, Develop Standards. https://standards.ieee.org/develop/develop-standards/process.html. Last accessed 18 Nov 2020
AICTE, 2018 Model Curriculum For Undergraduate Degree Courses In Engineering & Technology, https://www.aicte-india.org/sites/default/files/inal%20Draft__Vol.%20I%20%20AICTE%20UG%20%20curriculum.pdf. last accessed 18 Nov 2020
Shreesha, C., Yogananda, J.: Teaching STPA and OPM to engineering students—industry academia experiences. In: INCOSE International Symposium, vol. 29(S1), pp. 17–27 (2019
Alistair, M., Philip, W., Adrian, H., Mark, N.: Easy approach to requirements syntax (EARS). In: 17th IEEE International Requirements Engineering Conference, Atlanta, GA, pp. 317–322 (2009)
Blender. https://www.blender.org/. Last accessed 18 Nov 2020
LDRA Whitepaper, Emerging technology trends: Skill Challenges & Opportunities for Industry & Academia. https://ldra.com/collateral/emerging-technology-trends-skill-challenges-opportunities-for-industry-academia/. Last accessed 18 Nov 2020
ISO, Teaching Standards Good practices for collaboration between National Standards Bodies and Universities. https://www.iso.org/files/live/sites/isoorg/files/store/en/ PUB100354.pdf. Last accessed 18 Nov 2020
Dov, D.: Object-process analysis: maintaining the balance between system structure and behaviour. J. Logic Comput. 5(2), 227–249 (1995)
OPCAT. https://esml.iem.technion.ac.il/opcat-installation/. Last accessed 18 Nov 2020
Nancy, L.: Engineering a Safer World Systems Thinking Applied to Safety (2012). https://mitpress.mit.edu/books/engineering-safer-world. Last accessed 18 Nov 2020
Perneger, T.: The Swiss cheese model of safety incidents: are there holes in the metaphor? BMC Health Serv Res 5, 71 (2005)
Nancy, L., John, T.: STPA handbook, last viewed 20 July 2020 (2018). https://psas.scripts.mit.edu/home/materials/. Last accessed 18 Nov 2020
Aditya, J.: STPA Safety Analysis Tool in Simulink , MATLAB Central File Exchange. https://www.mathworks.com/matlabcentral/fileexchange/73434-stpa-safety-analysis-tool-in-simulink. Last accessed 18 Nov 2020
Ramakrishnan, R., Yogananda, J.: An Approach for formal verification of machine learning based complex systems. In: INCOSE International Symposium, vol. 29(1), pp. 544–559 (2019)
Natasha, J., Yogananda, J., Devi, M.K.K.: Teaching formal methods at undergraduate/graduate level: the three perspectives. In: 3rd International Conference on Applied and Theoretical Computing and Communication Technology (iCATccT), Tumkur, (2017), pp. 310–315
Aditya, J.: A railway gate model using STPA, Matlab, Blender, Arduino. https://www.youtube.com/watch?v=gZsGFfWduAU. Last accessed 18 Nov 2020
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.
About this paper
Cite this paper
Jeppu, A.Y., Jeppu, Y. (2021). Learning Model-Based Safety-Critical System Engineering: The Fun Way. In: K V, S., Rao, K. (eds) Smart Sensors Measurements and Instrumentation. Lecture Notes in Electrical Engineering, vol 750. Springer, Singapore. https://doi.org/10.1007/978-981-16-0336-5_19
Download citation
DOI: https://doi.org/10.1007/978-981-16-0336-5_19
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-16-0335-8
Online ISBN: 978-981-16-0336-5
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)