165 search results - page 3 / 33 » Safety Interfaces for Component-Based Systems |
EUROMICRO
2006
IEEE
14 years 19 days ago
2006
IEEE
— We propose a method for component-based software and system development, where the interoperability between the different components is given special consideration. The method ...
EMSOFT
2001
Springer
13 years 11 months ago
2001
Springer
Abstract. We present a framework to extend the concept of type systems in programming languages to capture the dynamic interaction in component-based design, such as the communicat...
COMPSAC
2002
IEEE
13 years 11 months ago
2002
IEEE
On-the-fly replacement of software may require simultanous distributed updates of components. If an update changes some interfaces or protocols, the update must be performed in a...
ENTCS
2007
13 years 6 months ago
2007
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...
WORDS
2005
IEEE
14 years 5 days ago
2005
IEEE
Software metrics can be used to objectively quantify the quality of software components and systems, alleviating quality and risk concerns and raising assurance in component-based...