Partner in major projects for more than 10 years Airbus Eurocopter - PowerPoint PPT Presentation

Partner in major projects for more than 10 years Airbus Eurocopter Tiger Jason

TNI’s line of products Real Time Sildex Stood Object Procedural Oriented OpenTool/UML Orchis/SADT OpenTool/Meta Smalltalk Not Time Constrained

Stood A software design tool Unit Software Testing Analysis Users Requirements Architectural Software Design Requirements Detailed Design & Coding Operational Constraints

Software Design with STOOD Don’t confuse the Problem with your Solution Goal : to find and justify A Solution (and preferably, the best possible) that complies with: - The given Problem (defined by the Software Analysis) - and various operational constraints… documentation code STOOD requirements check reports

Software Design with STOOD The step you can’t afford to overlook Operational contraints: 1- Choice of a design strategy: • Object Oriented all these strategies are covered • Function Oriented by the modular design approach • Real-Time Oriented 2- Development constraints easily managed thanks to • Team work the hierarchical structure • Subcontractors and visibility rules • Reuse, Configuration Management, ... 3- Implementation constraints: • Target language well supported by underlying • Hardware concepts and customizable code • Real-Time constraints generators • Distributed applications

Architectural Design with Stood Goals: Means: • Focus on architecture • Modules • Hide low-level complexity • Hierarchy • Master inter-dependencies • Provided & Required Interfaces • Provide a step by step • formalized design process & rules elaborated process Solution: The HOOD method • Easy to use and simple graphical notation • Real-Time patterns • Support for Distributed Systems • Direct mapping with Ada95

HOOD Diagram interactive view

HOOD Diagram structural view

Detailed Design with Stood Goals: Means: • Complete the application within • Object Description Skeleton the architectural design framework • Cross-References, Rules Checkers, • Perform design checking Schedulability Analysis, Metrics, ... • Produce documentation • Standard documentation set • Generate code and round-trip • Ada, C and C++ code generators & engineering reversors. Solution: The HOOD method • Comprehensive structured textual notation • Customizable generators • Users Requirements traceability • Batch mode, Interchange format, ...

HOOD Textual Description

The HOOD Real-Time model Three Principles: • invariance of call to remote services • client-server assymetry • separation between behavioral and procedural code Operation constraints: • internal state (state-transition diagram) • protocol (wait-reply, acknowledge, asynchronous) • concurrency (read-write, read only, …) Hard Real-Time HOOD: • cyclic objects • sporadic objects • protected objects

Verification tools (1) • Cross References Tables • Call Trees • Data Access Charts

Verification tools (2) • HOOD Design Rules • Metrics • Schedulability Analysis • Requirement Coverage

Documentation Tool To automatically generate a completely structured design documentation: • PostScript ™ • HTML • Word ™ • FrameMaker ™ • Interleaf ™

Ada code generation with STOOD an Ada package an Ada with a a HOOD a HOOD package task active object passive object an Ada package an Ada with a package a HOOD task type with a active class tagged a HOOD type an Ada passive class package with a And also: a HOOD passive class with protected Generics, Exceptions, Partitions, ... concurrency constraints type

Conclusions STOOD is not yet another UML-like modeling tool for Ada or C Real-Time developments : • it focuses on the Software Design phase • it offers a well guided step by step Process • it supports a completely integrated Real-Time model • it produces consistent Code and Documentation • it was developed with Ada in mind • it is easy to integrate into an existing environment • it has been improved with feedback from major industrial projects