Showing 1 - 6 of 6 results for the Author - peter feiler
In this paper, Peter Feiler describes the AADL, an industry standard for modeling and analyzing the architecture of software-reliant systems.
This white paper presents an improvement strategy comprising four pillars of an integrate-then-build practice that lead to improved quality through early defect discovery and incremental end-to-end validation and verification.
This paper examines issues relating to the impact of change in real-time control applications.
The AADL standard will include a UML profile useful for avionics, space, automotive, robotics and other real-time concurrent processing domains including safety critical applications.
A system designer faces several challenges when specifying security for distributed computing environments or migrating systems to a new execution platform.
In this paper, the authors present analytical techniques to model and validate security protocols for enforcing confidentiality and integrity.