1996
DOI: 10.1109/2.544238
|View full text |Cite
|
Sign up to set email alerts
|

Safety-critical systems built with COTS

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
2
1

Citation Types

0
16
0

Year Published

1997
1997
2022
2022

Publication Types

Select...
4
3
1

Relationship

0
8

Authors

Journals

citations
Cited by 31 publications
(16 citation statements)
references
References 5 publications
0
16
0
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%
See 1 more Smart Citation
“…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%
“…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%
“…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%