Safety-critical software system development requires the use of techniques and tools that are deterministic, predictable, and in some domains mathematically provable. Students need to be provided with program and course curricula that cover theory, topics, and concepts that equip them to meet the challenges of their evolving profession. The work documented herein is a proposal for a proactive approach to introducing students to the domains of mission-critical and safety-critical software system education that follows strict industrial software development standards. The methodology of this work seeks to first identify the points in the software development life cycle of safety-critical software system where the use of industrial standards and best practices may be incorporated into traditional software engineering programs and courses. The outcome of this proposal will be a software development methodology for safety-critical software systems curriculum that incorporates the use of strategies and tools to produce more correct and reliable software systems. This methodology will leverage innovative research outcomes, best practices from the software development industry, and internationally accepted standards for software system development towards lessening the gap between tertiary education and real-world software development.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Towards Software Engineering of Safety Critical Software Systems Education

  • Emanuel S. Grant

摘要

Safety-critical software system development requires the use of techniques and tools that are deterministic, predictable, and in some domains mathematically provable. Students need to be provided with program and course curricula that cover theory, topics, and concepts that equip them to meet the challenges of their evolving profession. The work documented herein is a proposal for a proactive approach to introducing students to the domains of mission-critical and safety-critical software system education that follows strict industrial software development standards. The methodology of this work seeks to first identify the points in the software development life cycle of safety-critical software system where the use of industrial standards and best practices may be incorporated into traditional software engineering programs and courses. The outcome of this proposal will be a software development methodology for safety-critical software systems curriculum that incorporates the use of strategies and tools to produce more correct and reliable software systems. This methodology will leverage innovative research outcomes, best practices from the software development industry, and internationally accepted standards for software system development towards lessening the gap between tertiary education and real-world software development.