Skip to main content
This paper reviews some results in improving software safety in computer control systems. The discussion covers various aspects of the software development process, as opposed to the product features. Software diversity, off-the-shelf... more
    • by  and +1
    •   9  
      Software DevelopmentUMLFormal VerificationFMEA
This paper discusses ideas and techniques for integrating software engineering concepts and practices into an undergraduate computer science curriculum. Discussion is focused on concepts that are related to the following aspects of... more
    • by  and +1
    •   6  
      Software EngineeringSoftware Engineering educationSoftware QualityIntegrated Approach
    • by 
    •   11  
      Software EngineeringComputer Science EducationEngineering ManagementSoftware Engineering education
This paper reviews some results in improving software safety in computer control systems. The discussion covers various aspects of the software development process, as opposed to the product features. Software diversity, off-the-shelf... more
    • by 
    •   9  
      Software DevelopmentUMLFormal VerificationFMEA
The paper describes activities leading to the support of an academic instruction and industrial training in the area of time critical software development. Most of the modern software deals with external interfaces and has to consider... more
    • by 
    •   3  
      Software EngineeringSoftware DevelopmentReal Time
Rapid progress of computing technologies is the major reason that the programs like electronics, computer and software engineering, robotics and control engineering need continuous updates. This paper is related to the development of an... more
    • by  and +1
    •   4  
      Software EngineeringComputer Science EducationControl EngineeringReal Time
    • by  and +2
    •   6  
      Software Engineering educationControl systemLearning EnvironmentAutomation
    • by 
    •   4  
      Software EngineeringReal Time ComputingReal Time SystemsApplication Software
Since the early years of computing, programmers, systems analysts, and software engineers have sought ways to improve development process efficiency. Software development tools are programs that help developers create other programs and... more
    • by 
    •   7  
      Software EngineeringSoftware Development ToolsReal Time SystemsLevels of Abstraction
    • by  and +2
    •   5  
      Software EngineeringCurriculum DesignEngineering EducationInternational Education
The paper presents various views of the criteria to be selected for evaluation of software tools used in the development of safety-critical real-time systems. It focuses on the avionics application area and derives a model for tool... more
    • by 
    • by 
    •   5  
      Software DevelopmentSoftware ArchitectureAir traffic controlReal Time Systems
This paper addresses the problem of educating software engineering professionals who can efficiently and effectively develop real-time software intensive control systems in the global community. A framework for developing curricula that... more
    • by  and +1
    •   8  
      Software EngineeringComputer Science EducationControl systemLearning Environment
This paper presents an overview and discusses the role of certification in safety-critical computer systems focusing on software, and partially hardware, used in the civil aviation domain. It discusses certification activities according... more
    • by  and +1
    •   7  
      Software Development ToolsReal Time SystemsReal TimeSafety Critical Systems
The paper presents taxonomy of criteria and procedures for evaluating software development tools used in safety-critical real-time systems. The ultimate purpose of the research is to provide a base for creation of guidelines for the tool... more
    • by  and +1
    •   8  
      Software DevelopmentSoftware Development ToolsReal Time SystemsDesign Tool
The paper presents selected experimental results of evaluating six real-time software development tools for use in safety-critical systems. The experiments were designed to collect data, such as project effort, code size, functionality,... more
    • by  and +1
    •   11  
      Software EngineeringProgrammingSoftware QualitySoftware Development Tools
    • by 
    • by 
In recent decades, safety has emerged as a major issue in many embedded applications in the aerospace, aircraft, automobile, railways, nuclear, medical, and other industries. Safety in this context means avoiding harm to individuals or... more
    • by 
    •   6  
      Aerospace EngineeringSoftware EngineeringComputer SecuritySafety Critical Systems
    • by  and +1
    •   17  
      Project ManagementInternational StudentsMotion PlanningDigital Control