ISG/ASaP
ASaP (Automated Software Production) covers the complete production process based on an abstract definition of what to do down to generation of a user feedback by the executable system without requiring any human intervention.
ASaP tools are already available for the area of distributed and/or real-time systems, embedded systems, and following topics related to this area: generation of the distributed (real-time) infrastructure, distributed, synchronised databases, data acquisition, calibration, monitoring, telemetry frame generation, system commanding.
The generation process accepts inputs in ISGL, spreadsheets or any other equivalent input set expressed in a user-defined format.
More features:
- Automated verification,
- test case generation,
- stress testing,
- fault injection,
- reporting on completeness and consistency, test coverage, performance figures and profiles.
For other application areas the ASaP concept can be adapted.
ASaP tools have been used to generated software for a complex ISS (International Space Station) application.
Recent evaluation of projects yields the following results:
- Productivity: an equivalent of more than 5 man-years can be automatically generated within one hour on a PC-800MHz.
- Quality: the evaluated bug rates are in the range of 10-5 per LOC (first delivered version of ISG environment) or even down to zero!
Available Development Platforms:
- Solaris
- Linux
- other UN*X platforms should be supportable
Available Target Platforms:
- Solaris
- Linux
- VxWorks
- other UN*X platforms should be supportable