Safety-critical systems built with COTS

Profeta, J.A.; Andrianos, N.P.; Yu, Bing; Johnson, B.W.; DeLong, T.A.; Guaspart, D.; Jamsck, D.

doi:10.1109/2.544238

Cited by 31 publications

(16 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In the mid-1990s, the Center for Semicustom Integrated Systems (CSIS) at the University of Virginia (UVa) teamed with the Advanced Technology Group of Union Switch and Signal (now a part of Ansaldo Trasporti) to develop the Vital Framework (V_Frame) [87]. The V-Frame is a fault-tolerant safety-critical platform to support the use of COTS hardware and software.…”

Section: Los Angeles Metro Green Linementioning

confidence: 99%

“…In this approach, an application or algorithm is decomposed to its fundamental operations or primitive blocks so that the sequence of execution for those operations can be 53 verified though the generation and confirmation of a check-stream. To avoid the paradox of a selfreferencing system, a separate checking device accomplishes the verification of the check-stream [87].…”

Section: Los Angeles Metro Green Linementioning

confidence: 99%

See 1 more Smart Citation

Diversity Strategies for Nuclear Power Plant Instrumentation and Control Systems

Wood¹,

Belles²,

Cetiner³

et al. 2010

View full text Add to dashboard Cite

Section: Los Angeles Metro Green Linementioning

confidence: 99%

Section: Los Angeles Metro Green Linementioning

confidence: 99%

Diversity Strategies for Nuclear Power Plant Instrumentation and Control Systems

Wood¹,

Belles²,

Cetiner³

et al. 2010

View full text Add to dashboard Cite

“…Since the mid 90s, there has been an increase in the use of COTS components in safety critical systems [40,36], motivated by a need to reduce the cost and time pressure of development. Kelly et al ([3]) and Lutz ([23]) both call for the development of better methods for COTS-based systems.…”

Section: Commercial Off the Shelf Componentsmentioning

confidence: 99%

Safety engineering with COTS components

O'Halloran

Hall

Rapanotti

2017

Reliability Engineering & System Safety

View full text Add to dashboard Cite

Safety-critical systems are becoming more widespread, complex and reliant on software. Increasingly they are engineered through Commercial Off The Shelf (COTS) (Commercial Off The Shelf) components to alleviate the spiralling costs and development time, often in the context of complex supply chains.A parallel increased concern for safety has resulted in a variety of safety standards, with a growing consensus that a safety life cycle is needed which is fully integrated with the design and development life cycle, to ensure that safety has appropriate influence on the design decisions as system development progresses.In this article we explore the application of an integrated approach to safety engineering in which assurance drives the engineering process. The paper reports on the outcome of a case study on a live industrial project with a view to evaluate: its suitability for application in a real-world safety engineering setting; its benefits and limitations in counteracting some of the difficulties of safety engineering with COTS components across supply chains; and, its effectiveness in generating evidence which can contribute directly to the construction of safety cases.

show abstract

“…Thus it can be packaged with a component and its test specification -enabling a component user to confirm correct functioning of the component in any target environment. Many organisations are considering developing large industrial systems that have very high reliability and availability requirements using components [16,17]. In one reported case, to ensure that the signalling systems that they were developing for the rail transport industry will operate in a fail-safe manner, Profdeta et al [17] used formal methods in their design.…”

Section: Note the Absence Of A Unit Testing Phase In This Methodologymentioning

confidence: 99%

“…Many organisations are considering developing large industrial systems that have very high reliability and availability requirements using components [16,17]. In one reported case, to ensure that the signalling systems that they were developing for the rail transport industry will operate in a fail-safe manner, Profdeta et al [17] used formal methods in their design. This approach can deal with the issues mentioned above to ensure a reliable system but it is not a silver bullet.…”

Section: Note the Absence Of A Unit Testing Phase In This Methodologymentioning

confidence: 99%