Paper Info
Title
A formal approach for the specification and verification of trustworthy component-based systems
Abstract
Abstract: Software systems are increasingly becoming ubiquitous affecting the way we experience the world. Embedded software systems, especially those used in smart devices, have become an essential constituent of the technological infrastructure of modern societies. Such systems, in order to be trusted in society, must be proved to be trustworthy. Trustworthiness is a composite non-functional property that implies safety, timeliness, security, availability, and reliability. This paper presents a formal approach for the development of trustworthy component-based systems. The approach involves a formal component model for the specification of component's structure, functional, and non-functional (trustworthiness) properties, a model transformation technique for the automatic generation of component behavior using the specified structure and restricted by the specified properties, and a unified formal verification method for safety, security, reliability and availability properties using model checking.
Year
DOI
Venue
2011
10.1016/j.jss.2010.08.048
Journal of Systems and Software
Keywords
Field
DocType
software system,trustworthiness,formal approach,unified formal verification method,availability property,specified property,model checking,component model,component-based development,model transformation technique,formal component model,composite non-functional property,trustworthy component-based system,formal verification,component behavior,component based development
Model transformation,Model checking,Systems engineering,Computer science,Trustworthiness,Formal specification,Software system,Component-based software engineering,Formal methods,Formal verification
Journal
Volume
Issue
ISSN
84
1
The Journal of Systems & Software
Citations 
PageRank 
References 
15
1.00
19
Authors
2
Name
Order
Citations
PageRank
Mubarak Mohammad111810.64
V.S Alagar2323.48