Filters








68,298 Hits in 4.8 sec

Deploying Safety-Critical Applications on Complex Avionics Hardware Architectures

Robert Hilbrich, Laurent Dieudonné
2013 Journal of Software Engineering and Applications  
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)

Nadeem Akhtar, Malik Muhammad, Nadeem Salamat, Amnah Firdous, Mujtaba Husnain
2016 International Journal of Advanced Computer Science and Applications  
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

Asim Abdulkhaleq, Stefan Wagner
2015 Proceedings of the 19th International Conference on Evaluation and Assessment in Software Engineering - EASE '15  
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

Donald G. Firesmith
2005 Proceedings of the 27th international conference on Software engineering - ICSE '05  
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

Ivica Crnkovic, Lars Grunske
2007 29th International Conference on Software Engineering (ICSE'07 Companion)  
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

Robert Hilbrich
2012 Advances in Software Engineering  
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

K. Hanninen, J. Maki-Turja, M. Nolin
2006 13th Annual IEEE International Symposium and Workshop on Engineering of Computer-Based Systems (ECBS'06)  
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

Kyung-A Yoon, Seung-Hun Park, Doo-Hwan Bae, Hoon-Seon Chang, Jae-Cheon Jung
2005 13th IEEE International Workshop on Software Technology and Engineering Practice (STEP'05)  
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

Steffen Thiel, Muhammad Ali Babar, Goetz Botterweck, Liam O'Brien
2008 SAE International Journal of Passenger Cars - Electronic and Electrical Systems  
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

Brad Naegle
2007 2007 IEEE International Conference on System of Systems Engineering  
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

Sinem Getir, André van Hoorn, Timo Kehrer, Yannic Noller, Matthias Tichy
2019 Software Engineering  
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

Thierry Pardessus, Heinrich Daembkes, Richard Arning
2007 2007 Design, Automation & Test in Europe Conference & Exhibition  
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

Jayasri Kotti, Venkataramana Attada
2017 Indian Journal of Science and Technology  
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

Charles Muniak
2016 Journal of System Safety  
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

Peter Liggesmeyer, Mario Trapp
2009 IEEE Software  
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