A General Theory of Composition for a Class of "Possibilistic" Properties
IEEE Transactions on Software Engineering
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
Acme: architectural description of component-based systems
Foundations of component-based systems
Component-based software engineering: putting the pieces together
Component-based software engineering: putting the pieces together
Building Reliable Component-Based Software Systems
Building Reliable Component-Based Software Systems
Building Trustworthy Systems: Lessons from the PTN and Internet
IEEE Internet Computing
Developing and Applying Component-Based Model-Driven Architectures in KobrA
EDOC '01 Proceedings of the 5th IEEE International Conference on Enterprise Distributed Object Computing
The Stream Boiler Case Study: Competition of Formal Program Specification and Development Methods
Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995).
A Component Model for Field Devices
CD '02 Proceedings of the IFIP/ACM Working Conference on Component Deployment
Basic Concepts and Taxonomy of Dependable and Secure Computing
IEEE Transactions on Dependable and Secure Computing
Software—Practice & Experience
SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model
SERA '06 Proceedings of the Fourth International Conference on Software Engineering Research, Management and Applications
The SAVE approach to component-based development of vehicular systems
Journal of Systems and Software
Software Engineering for Automotive Systems: A Roadmap
FOSE '07 2007 Future of Software Engineering
Architecture-Based Software Reliability Analysis: Overview and Limitations
IEEE Transactions on Dependable and Secure Computing
IEEE Transactions on Software Engineering
Early prediction of software component reliability
Proceedings of the 30th international conference on Software engineering
The Common Component Modeling Example: Comparing Software Component Models
The Common Component Modeling Example: Comparing Software Component Models
A direct path to dependable software
Communications of the ACM - A Direct Path to Dependable Software
A formal component-based software engineering approach for developing trustworthy systems
A formal component-based software engineering approach for developing trustworthy systems
A formal methodology for integral security design and verification of network protocols
Journal of Systems and Software
The Journal of Supercomputing
| Hi-index | 0.00 |
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.