A distributed alternative to finite-state-machine specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Tentative steps toward a development method for interfering programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Paraconsistent logic programming
Theoretical Computer Science
Software reliability: measurement, prediction, application (professional ed.)
Software reliability: measurement, prediction, application (professional ed.)
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
Object-oriented reuse, concurrency and distribution: an ADA-based approach
Object-oriented reuse, concurrency and distribution: an ADA-based approach
Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design
IEEE Transactions on Software Engineering
Requirements Specification for Process-Control Systems
IEEE Transactions on Software Engineering
Structuring Z specifications with views
ACM Transactions on Software Engineering and Methodology (TOSEM)
Where Do Operations Come From? A Multiparadigm Specification Technique
IEEE Transactions on Software Engineering - Special issue: best papers of the 1996 international symposium on software testing and analysis ISSTA'96
ICSE '91 Proceedings of the 13th international conference on Software engineering
Operational Profiles in Software-Reliability Engineering
IEEE Software
A Theory of Interfaces and Modules - I: Composition Theorem
IEEE Transactions on Software Engineering
Inconsistency Handling in Multiperspective Specifications
IEEE Transactions on Software Engineering
Highly Reliable Relational Control Programs for Robust Rapid Transit Systems
HASE '01 The 6th IEEE International Symposium on High-Assurance Systems Engineering: Special Topic: Impact of Networking
Consistency checking of SCR-style requirements specifications
RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
Toward Dependable Safety-Critical Software
WORDS '96 Proceedings of the 2nd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '96)
On reducing the sensitivity of software reliability to variations in the operational profile
ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
An Architectural Model For Software Reliability Quantification
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Reliability of Systems of Independently Developable End-User Assessable Logical (IDEAL) Programs
ISSRE '01 Proceedings of the 12th International Symposium on Software Reliability Engineering
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Hi-index | 0.00 |
Dramatic advances in computer and communication technologies have made it economically feasible to extend the use of embedded computer systems to more and more critical applications. At the same time, these embedded computer systems are becoming more complex and distributed. As the bulk of the complex application-specific logic of these systems is realized by software, the need for certifying software systems has grown substantially. While relatively mature techniques exist for certifying hardware systems, methods of rigorously certifying software systems are still being actively researched. Possible certification methods for embedded software systems range from formal verification to statistical testing. These methods have different strengths and weaknesses and can be used to complement each other. One potentially useful approach is to decompose the specification into distinct aspects that can be independently certified using the method that is most effective for it. Even though substantial research has been carried out to reduce the complexity of the software system through decomposition, one major hurdle is the need to certify the overall system on the basis of the aspect properties. One way to address this issue is to focus on architectures in which the aspects are relatively independent of each other. However, complex embedded systems are typically comprised of multiple architectures. In this paper, we present an alternative approach based on the use of application-oriented frameworks for implementing embedded systems. We show that it is possible to design such frameworks for embedded applications and derive expressions for determining the system reliability from the reliabilities of the framework and the aspects. The method is illustrated using a distributed multimedia collaboration system.