Showing 1 - 4 of 4 results for the performance and dependability Author - peter feiler , Type - White Paper
In this paper, Peter Feiler describes the AADL, an industry standard for modeling and analyzing the architecture of software-reliant systems.
In this paper, the authors present analytical techniques to model and validate security protocols for enforcing confidentiality and integrity.
A system designer faces several challenges when specifying security for distributed computing environments or migrating systems to a new execution platform.
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.