Quality Attributes for Mission Flight Software: A Reference for Architects
No abstract available
Engineering topics
Publications and source records attributed to Dvorak, Dan.
No abstract available
In the international standards for architecture descriptions in systems and software engineering (ISO/IEC/IEEE 42010), "concern" is a primary concept that often manifests itself in relation to the quality attributes or "ilities" that a system is expected to exhibit - qualities such as reliability, security and modifiability. One of the main uses of an architecture description is to serve as a basis for analyzing how well the architecture achieves its quality attributes, and that requires architects to be as precise as possible about what they mean in claiming, for example, that an architecture supports "modifiability." This paper describes a table, generated by NASA's Software Architecture Review Board, which lists fourteen key quality attributes, identifies different important aspects of each quality attribute and considers each aspect in terms of requirements, rationale, evidence, and tactics to achieve the aspect. This quality attribute table is intended to serve as a guide to software architects, software developers, and software architecture reviewers in the domain of mission-critical real-time embedded systems, such as space mission flight software.
No abstract available
No abstract available
This slide presentation shows several case studies for fault protection. The cases involve a discovery-class mission to excavate material from a comet, rendezvous with two asteroids and develop a prototype system for a next-generation Deep Space Network consisting of ndca large array of small antennas.
This objectives of this slide presentation are to: (1) Share JPL experiences by describing the evolution of fault protection during its history in deep space exploration, (2) Examine issues of fault protection scope and implementation that affect missions today, and (3) Discuss solutions for the problems of today and tomorrow.
Explore the source record for details and available documents.
Explore the source record for details and available documents.
The new breed of autonomous goal-driven spacecraft contain much more onboard capability than their syquence-driven predecessors, demanding corresponding advances in software verification techniques. Although autonomous systems are deterministic, they are hightly sensitive to the environment, such that the response of a system in certain contexts must be explored in detail in order to prove confidence in both the design and implementaiton.