Shulou(Shulou.com)06/02 Report--

This article mainly explains "what is STOOD". The content of the explanation is simple and clear, and it is easy to learn and understand. Please follow the editor's train of thought to study and learn "what is STOOD".

In recent years, with the continuous improvement of the computing power of hardware devices, the scale and complexity of performance-critical real-time systems have increased sharply, resulting in higher and higher requirements for their development costs and non-functional attributes, which brings certain challenges to the rationality of the design in its development, verification completeness and development efficiency. The STOOD tool can design the architecture of the automatic flight system, analyze the schedulability of the model and verify the policy at run time, so that the system designer can find potential errors and problems in time, facilitate timely adjustment during development, shorten the development cycle, and avoid later losses.

Introduction to STOOD

STOOD is a safety-critical system software modeling tool that conforms to the latest standards of AADL and HOOD. It supports a unified modeling and architecture design language AADL (Architecture Analysis and Desig Laguage). AADL meets the special needs of security-critical embedded real-time systems. Through the support of AADL,UML and HOOD, STOOD has been continuously developed and applied to European Space Agency (European Space Agency) projects and a large number of industrial projects.

The changes brought about by STOOD

Engineering practice of ▼ improving the Development and maintenance of key Systems

STOOD is a modeling tool for safety-critical systems. In the process of developing system and software architecture models, users can represent the system architecture as a hierarchical structure of interactive components, and standardize the system blueprint with the interfaces of software, hardware and physical components, which is beneficial for organizations to carry out large-scale engineering practices based on team development.

▼ provides an analytical perspective of the architecture-centric approach

STOOD adopts an architecture-centric approach, which can be used to obtain static modular architecture, runtime architecture based on communication tasks, computer platform architecture for deploying software, and any physical system or environment that interacts with it. Combine custom analysis and system specification with design language capabilities to establish a complete design, simulation and verification engineering environment for architecture modeling and analysis.

▼ pays attention to the key issues during the operation of the task system.

STOOD is used in the architecture and detailed design phases, and between requirements analysis and integration. STOOD pays attention to the corresponding relationship between system functionality and software and hardware elements, software architecture and hardware architecture, and supports a variety of scalable analysis methods, such as time correctness analysis, fault time or failure probability modeling, functional behavior verification and automatic code generation, etc., exposing and deducing system-level problems before system integration and acceptance experiments. Avoid late and expensive rework in development and maintenance.

STOOD advantage ■ supports full model development of real-time system software

The Development of UML language and tools

■ supports AADL-SAE international standards

AADL grammatical elements

■ supports genetic Ada and C code import

Schematic diagram of model-driven design method for general architecture description language AADL

■ conforms to industry standards-including DO178B

STOOD function

● requirements tracking

STOOD provides a simple and effective way to handle update tracking between systems, software modules, and initial requirements imported from plain text files or remote tools

● architecture design

STOOD graphic editor is used to create software and its running environment (library, execution platform, … The architecture model of the The intention of STOOD to build a graphical model is not to show the details of the developed system or software, but to focus on the design work on system architecture issues.

● model instance

STOOD provides designers with the ability to directly instantiate modeling and be able to draw abstract models if necessary. This approach greatly improves the ability of interaction between architecture design and verification activities.

Detailed Design of ● & coding

STOOD provides a specialized solution that enriches the architectural model with all low-level details, consistent and appropriate model validation processing, code and document generation. STOOD detailed design behavior is based on the concept of HOOD object description (ODS) and fully supports AADL performance and user-defined configuration customization.

● system design confirmation

STOOD includes a set of static model validation tools implemented by LMP technology. These tools are embedded in STOOD and take advantage of automatically updated cross-reference tables through the composition of AADL and HOOD models.

Access to ● external analysis tools

In addition to STOOD as a design checker, external model checking tools can also easily connect to STOOD through the AADL interface.

Automatic generation of ● code

At any stage of the modeling activity, you can choose to generate the code file set of "ready to compile" and the corresponding makefile. The supported target languages are Ada,C and C++.

● Round-trip Engineering and reverse Engineering

When the detailed design activity is not fully completed and the underlying code details are not yet visible in the ODS section, you can use the annotated source file outside the STOOD to enrich the text information, and then re-import the tool to update the design model. In addition, the source code of Ada or C can be imported into STOOD to generate the corresponding design components.

● design document

Production documentation is an important and time-consuming activity for most projects. Using STOOD, you can automatically generate a complete design file, and consistent architecture and source code, as well as the same design references that have been generated.

● model analysis

AADL Inspector can load multi-text AADL files or projects to achieve system specification design, and can be extended through AADL behavior appendices and error appendices. Ellidiss and its collaborators developed AADL Inspector that integrates a variety of analysis tools to provide analysis reports that comply with AS5506C standards for design projects.

STOOD success stories

Airbus A340/A380

● is used in ground and computer embedded software applications

● goal and language: Sun/Solaris Ada 83Compare 95, Windows Citrus +

● uses HOOD design method and Stood tools for static design

● supports an object-oriented approach and provides a common means of modularization

● is based on abstract data types (stabilizing the application structure) and control flow (describing tasks and their interactions)

● ensures the quality of software development and coding tasks. No matter what the target language is, the design and code are consistent and follow the principles of software engineering.

Jason-1 altitude satellite

● is used to develop spaceborne POSEIDON 2 control software, which measures the distance between the satellite and sea level.

● plays a key role in the development of DORIS system, and DORIS is the real-time system that determines the satellite orbit.

Software Design Environment of ● for PROTEUS Multitasking bus

● in the above projects, Stood is used for architecture design and software implementation, code and documentation generation.

Tigre helicopter

● for anti-tank and defense mission computers

Thank you for your reading, the above is the content of "what is STOOD", after the study of this article, I believe you have a deeper understanding of what STOOD is, and the specific use needs to be verified in practice. Here is, the editor will push for you more related knowledge points of the article, welcome to follow!

Welcome to subscribe "Shulou Technology Information " to get latest news, interesting things and hot topics in the IT industry, and controls the hottest and latest Internet news, technology news and IT industry trends.