A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
Filters
Deploying Safety-Critical Applications on Complex Avionics Hardware Architectures
2013
Journal of Software Engineering and Applications
Preserved Fulltext
However, the complexity found in current safety-critical systems requires an automated software deployment process in order to tap this potential for further SWaP reductions. ...
The complexity of these systems is constantly growing as an increasing amount of functionalities is realized in software. ...
Acknowledgements This work was partially funded by the German Federal Ministry of Education and Research (BMBF); grants "SPES2020, 01IS08045J and 01IS08045P", "SPES_XT, 01IS12005E and 01IS12005K" and " ...
doi:10.4236/jsea.2013.65028
fatcat:lspsniwecfgepoavxiptz6euma
A Study of Resilient Architecture for Critical Software-Intensive System-of-Systems (Sisos)
2016
International Journal of Advanced Computer Science and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The role of critical system-of-systems have become considerably software-intensive. A critical system-of-system has to satisfy correctness properties of liveness and safety. ...
An approach has been proposed for the analysis, design, formal specification and verification of critical Software-intensive System-of-Systems. ...
The software of critical systems has to satisfy correctness properties of liveness and safety. ...
doi:10.14569/ijacsa.2016.070834
fatcat:g4kdhh7r7vg63k2dfsebkzjtx4
A controlled experiment for the empirical evaluation of safety analysis techniques for safety-critical software
2015
Proceedings of the 19th International Conference on Evaluation and Assessment in Software Engineering - EASE '15
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Other Versions
Context: Today's safety critical systems are increasingly reliant on software. Software becomes responsible for most of the critical functions of systems. ...
software safety requirements at the system level. ...
, effectiveness and efficiency in terms of identifying software safety requirements of safety-critical software. ...
doi:10.1145/2745802.2745817
dblp:conf/ease/Abdulkhaleq015
fatcat:ozu3vzktyjbgpkz26gn4ewhz2u
Engineering safety-related requirements for software-intensive systems
2005
Proceedings of the 27th international conference on Software engineering - ICSE '05
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
the data needed, and completing and reviewing the collection of information. ...
Send comments regarding this burden estimate or any other aspect of this collection of information, including suggestions for reducing this burden, to Washington Headquarters Services, Directorate for ...
Engineering Safety-Related Requirements for Software-Intensive Systems ...
doi:10.1145/1062455.1062635
dblp:conf/icse/Firesmith05
fatcat:c73ba4w6wrh63dftkhsbcbid7m
Evaluating Dependability Attributes of Component-Based Specifications
2007
29th International Conference on Software Engineering (ICSE'07 Companion)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
There is a strong trend in applying the same approach in different domains of dependable systems. ...
This tutorial gives an analysis of current methodologies of attribute-specific evaluation methods for dependable component-based systems. ...
Most of these properties are of interest for software-intensive systems but also for a wide range of software systems. ...
doi:10.1109/icsecompanion.2007.36
dblp:conf/icse/CrnkovicG07
fatcat:u3hflfmlqvbjxe4tzif2h36evq
How to Safely Integrate Multiple Applications on Embedded Many-Core Systems by Applying the "Correctness by Construction" Principle
2012
Advances in Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Software-intensive embedded systems, especially cyber-physical systems, benefit from the additional performance and the small power envelope offered by many-core processors. ...
This is especially the case for a distributed system architecture, which is subject to specific safety considerations. ...
A few years ago, the development of complex safety critical software-not entire systems-was confronted with a similar challenge. ...
doi:10.1155/2012/354274
fatcat:tycdbj3uf5dtbliimvrkuf3cwm
Present and future requirements in developing industrial embedded real-time systems - interviews with designers in the vehicle domain
2006
13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
This study shows that reliability and safety are the main properties in focus during development. It also shows that the amount of functionality has been increasing in the examined systems. ...
In this paper, we aim at capturing the industrial viewpoint of todays and future requirements in development of embedded real-time systems. ...
The software in these systems can be overridden by mechanics in case the software malfunctions and a safety critical situation occurs. ...
doi:10.1109/ecbs.2006.56
dblp:conf/ecbs/HanninenMN06
fatcat:eesa6v3sm5br7op4fma2ipier4
A Framework for the Vamp;V Capability Assessment Focused on the Safety-Criticality
2005
13th IEEE International Workshop on Software Technology and Engineering Practice (STEP'05)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
As the importance of verification and validation(V&V) activities is growing, the necessity of criticality-based assessment framework of V&V capability is increasing in the safety-critical software organizations ...
In this paper, we propose the framework of V&V capability assessment in order to assist in performing "safety-criticality" assessment. ...
Recently, the concept of software V&V is accepted as a way to assure the quality of the new digitalized safety-critical system. ...
doi:10.1109/step.2005.5
dblp:conf/step/YoonPBCJ05
fatcat:3sm5gy6hxbbltescwyairtfnpa
Software Product Lines in Automotive Systems Engineering
2008
SAE International Journal of Passenger Cars - Electronic and Electrical Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
This has resulted in a growing interest in SPL approaches both in the software engineering and the automotive systems domain. ...
To accomplish this, we first provide an overview of the major challenges faced by Automotive Systems Engineering [5] . ...
Untested on safety-
critical products;
Potential difficulties with
simple design and lack
of documentation
Methods for highly critical
products;
Hard to tailor down efficiently
to low criticality ...
doi:10.4271/2008-01-1449
fatcat:kdpkh5phwbgmhc3mkinuryqkqm
Developing Performance-based Requirements for Open Architecture Design
2007
2007 IEEE International Conference on System of Systems Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
the data needed, and completing and reviewing the collection of information. ...
Send comments regarding this burden estimate or any other aspect of this collection of information, including suggestions for reducing this burden, to Washington Headquarters Services, Directorate for ...
The next set of instructions the software provides to the malfunctioning system may well be critical to the safety of friendly troops, so software developers must have the necessary understanding of operational ...
doi:10.1109/sysose.2007.4304230
dblp:conf/sysose/Naegle07
fatcat:ijzge2dgx5dknmin5yfp776jhi
Supporting Semi-Automatic Co-Evolution of Architecture and Fault Tree Models
2019
Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
During the whole life-cycle of software-intensive systems in safety-critical domains, system models must consistently co-evolve with quality evaluation models. ...
scenarios of a factory automation system called Pick and Place Unit. ...
A rigorous quality evaluation is among the key methods for the dependable engineering of software-intensive systems in safety-critical domains. ...
doi:10.18420/se2019-13
dblp:conf/se/GetirHKNT19
fatcat:eygqfy4clfc3xdohkh7zl6ftn4
Tutorial: The Methodological and Technological Dimensions of Technology Transfer for Embedded Systems in Aeronautics and Space
2007
2007 Design, Automation & Test in Europe Conference & Exhibition
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The second part illustrates the technological pillar, giving an overview of recent successes in technology transfer and emerging trends and opportunities, for both hardware and software. ...
This tutorial is in two parts, to elaborate the two pillars of technology transfer in the context of the aeronautics and space industry. ...
to suppliers model-based development of embedded control systems assessment process of safety-critical software (esp. applicable regulation and acceptable means of compliance) in the frame of aircraft ...
doi:10.1109/date.2007.364442
fatcat:tva4pgcaivehrd6n7jc4dtwuw4
The Research Framework for Quantitative Safety Assessment for Safety-Critical Computer Systems
2017
Indian Journal of Science and Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Findings: The criteria in the proposed software safety model relate to Hazard Analysis (HA) distinguishing of safety requirements, Completeness of safety requirements, Safety-critical Design, Safety-critical ...
Objectives: A safety-critical computer system has to be designed with safety in mind. ...
Software Safety: According to Mil-std-882 14 and IEEE STD 1228, The utilization of the order of system safety engineering procedures for the duration of the life cycle to guarantee that the software ...
doi:10.17485/ijst/2017/v10i9/101298
fatcat:5jxacu4j55hmdjjlfohonrt6ma
From the Editor's Desk
2016
Journal of System Safety
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Aspirin can provide relief up to moderate pain intensities, while morphine relieves almost all levels of pain. ...
A good example of the use of this word is found in the science of pharmacology, where the maximal effect of a drug is referred to as either "maximal efficacy" or simply "efficacy." ...
I have often wondered about the efficacy of system safety methods with respect to safety-critical software. ...
doi:10.56094/jss.v52i1.131
fatcat:ondkkmesw5hpplflwucuaya4fm
Trends in Embedded Software Engineering
2009
IEEE Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In the development of safety-critical systems, new functionalities are useless if you can't ensure their quality and safety. ...
Particularly for engineering safety-critical systems, isolated concepts available in research must evolve into standard approaches accepted by certification bodies. ...
His research interests include model-driven development of highintegrity embedded systems and safety-engineering techniques. ...
doi:10.1109/ms.2009.80
fatcat:tpfekrh74zhijlqoygvvgqgww4
« Previous
Showing results 1 — 15 out of 68,298 results