This special issue features three outstanding articles that illustrate some of the advanced design and certification concepts using. A methodology for safety critical software systems planning. The special session proposes to bring together contributions on modelling and integration of models model driven approaches, formal approaches, proofs, simulation, integration of. However, foundational security requirements must be.
Faaar0636, assessment of software development tools for safetycritical, realtime systems, describes these issues while presenting the stateoftheart in software development tools as of 2003 used in safetycritical, realtime systems and providing ideas for future software development tool qualification guidelines. There is also discussion of the future of ieee software based on historical data. Special issue on secure automotive systems ieee council on. For this special issue, we are seeking contributions on iot smart edgecomputing architectures, systems, and related. As software plays an increasingly important role in our daily lives, it is essential to maintain its reliability and dependability in the face of faults and failures. Ieee 79 9 1991 has been very successful in offering domainspecific, formally defined languages and programming environments for safetycritical systems. The special issue is devoted to the safety and security issues presented by cyber physical systems cpss in proceedings of the ieee, january, 2018. The use of formal methods is often advocated as a way of increasing confidence in such systems. Issues on software testing for safetycritical realtime automation systems abstract.
Organized ieee transactions on multiscale computing systems special issue on hardware software crosslayer technologies for trustworthy and secure computing. This special issue features three outstanding articles that illustrate some of the advanced design and certification concepts using cyberphysical systems from the domains of medical devices, driverless cars, and avionics as well as the importance and difficulty of learning from experience. Papers highlighting synergy and distinctions between automotive systems and other current and emergent computing platforms e. Here technologies today announced the launch of a new overtheair ota solution for automakers to use in connected vehicles. The integration of advanced sensing, signal processing, artificial intelligence, and controls technologies into vehicles is enabling intelligent automated vehicles that can navigate autonomously in various environments. Special in this issue is a look at the history of ieee software in the article insights from the past. A general purpose software engineering process is insufficient by itself to produce safe and reliable software. Here ota connect is aimed at solving a critical problem. Ieee access special sections are a collection of articles that focus on unique topics. Software safety analysis to identify critical software faults. Special sections are created by associate editors and guest editors, once their proposal is accepted by an ieee access editorial committee.
Eric wong, system and software assurance university of texas at dallas email. May 23, 2018 here technologies today announced the launch of a new overtheair ota solution for automakers to use in connected vehicles. Safetycritical systems, formal methods and standards ieee xplore. Society is becoming increasingly dependent on the safe and secure operations of digital devices and software embedded in consumer, industrial, and military systems. Architecture and security in smart buildings and autonomous driving. The objective is to provide an overview of the state of the art in the technological aspects of sensing, communications, computer vision, and artificial intelligence applied to cavs.
End nodes have to support, in place, an increasing range of functionality. There are three aspects which can be applied to aid the engineering software for lifecritical systems. Secondly, selecting the appropriate tools and environment for the system. As an example, software vulnerabilities could be exploited to remotely take control of safetycritical systems including the brakes in the vehicle. Ieee software seeks submissions for a special issue on software protection. A highly dependable computing architecture for safetycritical control applications. Ai will be deployed increasingly in more systems that affect. The special issue is devoted to the safety and security issues presented by cyberphysical systems cpss in proceedings of the ieee, january, 2018. Software certification of safety critical avionic systems. Such systems are widely used in aerospace and automotive, medical, industrial, and critical infrastructure applications. Apr 01, 2017 ieee software software special issue on contextual variability modeling currentday software intensive systems are becoming more context sensitive and increasingly exploit contextual information for handling the diversity of changes in and conditions of their surrounding environment. Leveraging softwaredefined networking for incident response.
Software engineering problems related to the cloud, connecting systems to. However, software can have a severe impact on the safety of systems, as some high profile accidents like therac25 and ariane5 have shown. Despite the risks, software increasingly is making its way into safetycritical systems. When proposing a special issue, ges are advised to consult the scope of ieee transactions on humanmachine systems thms to assess topic suitability.
He has served as special issue guest editor for ieee tr, jss, spe, ist, sqj, stvr, ijseke, etc. The themes in this issue include reliability and requirements engineering, technical debt, and agile development. Ce sponsored call for papers ieee consumer electronics society. Safetycritical software guest editors introduction ieee computer. Agile development, which appears in the julyaugust 2017 issue of ieee software. In software engineering, software system safety optimizes system safety in the design, development, use, and maintenance of software systems and their integration with safety critical hardware systems in an operational environment.
Based on a deep comprehension on the interrelation of safety and security, we present a safety security codesign engineering process to derive functional security requirements for a safe automated vehicle platoon system. Standards concerned with the development of safetycritical systems, and the software in such systems in particular, abound today as the software crisis increasingly affects the world of embedded computerbased systems. Special issue on safety and security in cyberphysical. A straight forward guide to functional safety, iec 61508 2010 edition and related standards, including process iec. It is different from regression test of which the purpose is to show that those parts that should not be changed remain unchanged after a software modification. He is a professor of software and systems engineering with pennsylvania state university, malvern. Visit professor laplantes homepage for more details. Researchers develop new tool for safetycritical software testing we entrust our lives to software every time we step aboard a hightech aircraft or modern car. For benefiting of such discoveries, it is necessary to fully integrate devices, circuits and systems with applications.
In such systems, there is very little time for humans to intervene and correct any erroneous decisions made by the software. There are many standards which are relevant for building safety or mission critical software systems. The integration of advanced sensing, signal processing, artificial intelligence, and controls technologies into. The special issue will cover all aspects of security and trustworthiness in automotive systems. We live in a world in which our safety depends on softwareintensive systems. This special issue focuses on the design, analysis, and implementation of smart sensing and communication issues, especially addressing autonomous vehicles. Do178c and its impacts analyzing potential overthehorizon radar site locations. Certification of safetycritical software is a multi. Software system safety is a subset of system safety and system engineering and is synonymous with the software. The evolution of the internet of things iot is changing the nature of edgecomputing devices.
Special issue on machine learning techniques for software. Ieee transactions on affective computing is a crossdisciplinary and international archive journal aimed at disseminating results of research on the design of systems that can recognize, interpret, and simulate human emotions and related affective phenomena. Ratel, programming and verifying critical systems by means of the synchronous dataflow programming language lustre, ieee trans. Special issue on software reliability and dependability engineering tdsc seeks submissions for this upcoming special issue. In 2015, the sere conference ieee international conference on software security and reliability and the qsic conference ieee international conference on quality software were combined into a single conference, qrs, with q representing quality, r for reliability, and s for security, sponsored by the ieee reliability society. A safetycritical system scs or lifecritical system is a system whose failure or malfunction. Completed special sections are grouped together on the ieee xplore digital library. This article is part of a special issue on software safety and security risk. Researchers develop new tool for safetycritical software. This special issue identifies key concepts and trends in this emerging discipline. Ai will be deployed increasingly in more systems that affect the health, safety and welfare of the public. Process assessment is an essential part of that, but is not enough for software certification. Overview of software testing standard isoiecieee 29119.
Issues on software testing for safetycritical real. Researchers involved directly with the security of informationprocessing systems know that many such systems do not have the levels of integrity and sustainability that are much more prevalent for safety critical systems. Ieee software software special issue on contextual variability modeling currentday software intensive systems are becoming more context sensitive and increasingly exploit contextual information for handling the diversity of changes in and conditions of their surrounding environment. We have used this technique at guidantcpi and found ripple effect analysis is an effective technique for ensuring system and software reliability in developing safety critical systems. As an example, software vulnerabilities could be exploited to remotely take control of safety critical systems including the brakes in the vehicle.
Applying lessons from safetycritical systems to security critical software abstract. Software certification of safetycritical avionic systems. By looking at the history website, this article proposes the. Thus, there is a growing concern that vehicles can be hacked and the user data can be stolen. Calls for transactions ieee power and energy society. Software engineering for safetycritical systems is particularly difficult. Design and development framework of safetycritical. List of resources about programming practices for writing safetycritical software. Special issue on secure automotive systems ieee council. A highly dependable computing architecture for safety critical control applications. Safety critical software systems, safety analysis and requirements, insulin pump. Special issue on machine learning techniques for software quality evaluation the assessment of software quality is one of the most multifaceted e. By looking at the history website, this article proposes the practical value in using historical data.
Cpss use cyber software hardware to perform realtime control on physical systems. This special issue features three outstanding articles. Ieee computer societys top 12 technology trends for 2020. Dec 25, 2017 this work shows the promise that cloudenabled software defined networks and virtual infrastructures hold as a way to provide novel defenseindepth solutions for industrial systems.
Topic important for safetycritical embedded systems, such as aerospace systems and nuclear systems, but also in medical engineering and more in general the validation of embedded systems. Software failures remain the major cause for recalls. Software, systems and services process improvement eurospi 2009 august 2012. Ensuring system and software reliability in safety. A highly dependable computing architecture for safety. Software engineering for safety critical systems is particularly difficult. Hardwaresoftware design approaches for smart edge processing. However, foundational security requirements must be addressed to guarantee that this modernization doesnt leave. The aim is to cover the spectrum of challenges, approaches, and solutions in this highly complex area, and provide an authoritative reference to the state of the art. The special issue focuses on advanced methods and tools for enhancing, assessing and predicting the reliability, safety, and security of software products. This conference provides engineers and scientists from both industry.
We invite the original previously unpublished papers as well as extended versions of papers presented at the 27th annual international symposium on software reliability engineering issre 2016. Throughout the paper, we examine, by way of example, a specific standard for safetycritical systems. There are three aspects which can be applied to aid the engineering software for life critical systems. Systems engineering brings more and more methods and tools into the development of critical systems, aiming particularly at safety, reliability, and security. Sep 11, 2017 special in this issue is a look at the history of ieee software in the article insights from the past. Additional requirements for process assessment in safety. This article is part of a special issue on software safety and security risk mitigation in cyberphysical systems. In software engineering, software system safety optimizes system safety in the design, development, use, and maintenance of software systems and their integration with safetycritical hardware systems in an operational environment overview. Computer magazines special issue featuring technology predictions for 2020 by the ieee computer society. Special section on science of design for safety critical systems article pdf available in ieee transactions on computers 608. This work shows the promise that cloudenabled softwaredefined networks and virtual infrastructures hold as a way to provide novel defenseindepth solutions for industrial systems. These systems will better utilize scarce resources, prevent disasters, and increase safety. Cpss use cyber softwarehardware to perform realtime control on physical systems. Software system safety is a subset of system safety and system engineering and is synonymous with the software engineering aspects of functional safety.
Despite the risks, software increasingly is making its way into safety critical systems. Software quality indicates how well the software product complies with the user requirements. The ieee software history experiment by zeljko obrenovic. In software engineering, software system safety optimizes system safety in the design, development, use, and maintenance of software systems and their integration with safetycritical hardware systems in. Professor wong is on the editorial board of several journals including the ieee transactions on reliability and journal of systems and software.
The challenge in software testing is how to uncover the difficulttofind software problems. The focus of the journal is on the methods used to develop and maintain software, and. For this special issue, we are seeking contributions on iot smart edgecomputing architectures, systems, and related hardwaresoftware design approaches. Since no software can be perfect, the cost spent on testing activities is worthy especially in safety critical systems. Topics of interest include, but are not limited to. Thus, there is a growing concern that vehicles can be hacked and the user data. Further, software bugs have significant economic consequences and can result in losses of billions of dollars. This paper examines the industrial use of these techniques, the recommendations. Safetycritical systems, formal methods and standards.
Among them, lustre is wellsuited for the development of regulation systems, which are first designed by control engineers, and can then be. Due to the severe consequence of software failure, the design and development of safetycritical software should be paid special attention. Ieee software, special issue on safetycritical software. Leveraging softwaredefined networking for incident. Ce sponsored call for papers ieee consumer electronics. Software safety per ieee std1228 and milstd882e focuses on ensuring explicit safety requirements are met and. His research interests include realtime systems, realtime image processing, safety critical software systems and software quality.
A major goal of this special issue of ieee software is to take stock of these. The ieee iotj is soliciting special issue proposals on timely and significant technical topics with broad interests. The goal of the special issue is to highlight research directions in secure, reliable, and predictable automotive systems. Qrs 2019 software quality, reliability, and security. The second article, anonymous and secure faulttolerable routing protocol for overlay networks is by. Upcoming special issue on agent and system transparency as machine agents and other forms of automation become more autonomous and sophisticated, and humanmachine systems more automatedfrom robots to autonomous driving and other intelligent agents embedded in complex networked systemsit has been increasingly clear to humanmachine system researchers and practitioners that agent. Iet software publishes papers on all aspects of the software lifecycle. Editor, ieee reliability special issue on trustworthy. Software safety analysis to identify critical software. Safety must always be considered throughout the overall critical systems not limited to software but extended to. Since no software can be perfect, the cost spent on testing activities is worthy especially in safetycritical systems. Ieee internet computing modernizing todays critical infrastructures and control systems yields better operational effi ciency, saves energy, and im proves reliability. This special issue features three outstanding articles that illustrate some of the advanced design and certification concepts using cyberphysical systems from the domains.
Digital instrumentation and control systems play an important role in the safe and efficient operation of the nuclear power plants. This special issue of the ieee transactions on nanotechnology will consider multidisciplinary papers combining research in devicecircuit design, processing, modelling, fabrication, characterization, and pertinent applications. Standards concerned with the development of safety critical systems, and the software in such systems in particular, abound today as the software crisis increasingly affects the world of embedded computerbased systems. Apart from the fact that safetycritical systems is an important topic in its own right, ieee secu. Preventing major catastrophes, severe injuries, and certain death. These cyberattacks arethreat to the reliability and safety of the car and to the privacy of the driver. Dotfaaar0635 software development tools for safety. Over the past ten years, the family of synchronous languages special section of the proc.
Ieee transactions on computers seeks original manuscripts for this upcoming special issue. Organized ieee transactions on multiscale computing systems special issue on hardware software crosslayer technologies for trustworthy and secure computing organized isvlsi2016 special session on cyberphysical systems. Severe injuries, and certain death in safetycritical software systems. This paper provides an overview of isoiecieee 29119 software testing standard. This paper provides an overview of isoiec ieee 29119 software testing standard.
984 761 247 137 648 802 473 148 606 54 1269 1094 902 1300 120 264 1006 965 1571 789 74 16 1013 1349 1048 803 1304 1079 685 500 1566 1570 658 339 1460 143 704 604 946 1124 726 1139 308 338 487 1005 810