Sciweavers

Share
507 search results - page 1 / 102
» System Safety Requirements as Control Structures
Sort
View
COMPSAC
2009
IEEE
10 years 6 months ago
System Safety Requirements as Control Structures
Along with the popularity of software-intensive systems, the interactions between system components and between humans and software applications are becoming more and more complex...
Zhe Chen, Gilles Motet
DMS
2008
114views Multimedia» more  DMS 2008»
10 years 1 months ago
Emergency Control in Shipyard Safety Systems
Large shipyards for gigantic cruise ships require a special attention to safety due to the huge number of workers involved and to the complex structure of spaces. A critical issue...
Augusto Celentano, Fabio Furlan, Stefano Burcovich
HASE
2007
IEEE
10 years 3 months ago
Goal-Oriented Patterns for UML-Based Modeling of Embedded Systems Requirements
Embedded systems are used for critical applications that must adhere to safety constraints. Developers of these systems face three key challenges when attempting to apply existing...
Heather Goldsby, Sascha Konrad, Betty H. C. Cheng
ADAEUROPE
2015
Springer
4 years 7 months ago
Static Backward Program Slicing for Safety-Critical Systems
Static program slicing is a technique to detect the program parts (i.e. the “slice”) of the given program possibly affecting a given property. The technique is of interest for...
Husni Khanfar, Björn Lisper, Abu Naser Masud
PROFES
2004
Springer
10 years 5 months ago
Development of a Normative Package for Safety-Critical Software Using Formal Regulatory Requirements
Abstract. The important tasks in requirement engineering are resolving requirements inconsistencies between regulators and developers of safety-critical computer systems, and the v...
Sergiy A. Vilkomir, Aditya K. Ghose
books