Specification and verification of trustworthy component-based real-time reactive systems

Authors:
Vasu Alagar;Mubarak Mohammad
Affiliations:
Concordia University, Montreal, Quebec, Canada;Concordia University, Montreal, Quebec, Canada
Venue:
Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
Year:
2007

Citing 2
Cited 2

A General Theory of Composition for a Class of "Possibilistic" Properties

IEEE Transactions on Software Engineering
Building Reliable Component-Based Software Systems

Building Reliable Component-Based Software Systems

TADL - An Architecture Description Language for Trustworthy Component-Based Systems

ECSA '08 Proceedings of the 2nd European conference on Software Architecture
A Formal Model of Business Application Integration from Web Services (Position Paper)

SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a formal methodology for the development of trustworthy real-time reactive systems (RTRS). Safety and security are considered as the two significant properties for trustworthy RTRS. The paper presents an overview of a component-based modeling that involves formal descriptions for trustworthy components. Then, Formal rules are introduced for the automatic generation of behavior protocol based on the formal definitions of trustworthy components. A model-checking method to formally verify security and safety properties in the component model is presented.