|
|
Useful links  This page gives a list of links that have been encountered in the course of the daily work of the Software Engineering and Standardisation Section and that might be useful to others. They are given for information only, without any implied endorsement of their content by ESA and without any liability on the part of the Agency. In particular, the links to tool vendors are not exhaustive, but they have been supplied in response to a request from industry to help with obtaining an initial knowledge of the market.
-Cheddar, a free real-time scheduling simulator -OSATE AADL editor -AADL training by AdaLog - -model checking at NASA -Formal methods at NASA for swarms -Scientific publications regarding textual synchronous languages (lustre and esterel) -Model checking at CMU (Carnegie Mellon) -Integral Requisite Analyzer IRqA requirements management and engineering environment - -Telelogic DOORS requirement management and traceability Collaborative Requirements Management environment; Ability to manage changing requirements; Powerful Traceability created easily; Scalability to address all your Requirements Management needs; Test Tracking Toolkit for small-scale test environments; Integration with Mercury TestDirector for large-scale test environments; Requirements driven development: integration with Telelogic Tau; Telelogic DOORS MatrixOne Product Central integration; Build the right product in the right way: The DOORS - Focal Point integration; Business process optimization: The DOORS - System Architect integration. -TNI-Software Reqtify requirement management and traceability Capture of requirements, attributes, references and links at any level (high-level requirements, low-level requirements); Coverage analysis, traceability; Detection of requirements changes, creations, deletions; Upstream and downstream impact analysis, help for regression risk management; Management of requirements life information; Filters creation for more accurate analysis; Documentation generation; -Rational RequisitePro requirement management and traceability Word-Database integration; Powerful requirements engine; Traceability; Change analysis and notification; Baseline creation and comparison; Web-based access; Detailed reporting for standards compliance; Commercially supported databases; - -Consistency rules in UML2.0 diagrams -Intecs HOOD training - -TAU SDL/UML suite -ARTISAN RT Studio -I-LOGIX Rhapsody -Rational ROSE RT -Esterel Tech Studio -CEA - ACCORD/UML - -Esterel tech SCADEautocode tool -LEIRIOS Test Generator - -Eclipse Integrated Development Environment supports CVS -KDevelop Integrated Development Environment supports CVS, Subversion, Perforce and ClearCase -GNAT-GPS (GNAT Programming Studio) Integrated Development Environment Supported filetypes: Autoconf, Awk, Changelog, M4, Makefile, GNAT Project file, Shell script, Texinfo. Remote edit. Remote debug. Cross-compilation capabilities for platforms for which GPS/GCC are not natively available. Version control systems supported: CVS, Rational ClearCase, Subversion. - -FlightLinux -Ada-Based Robotics - -MAST (Modeling and Analysis Suite for Real-Time Applications) in Santander Cantabria University -Solidor/Hades at IRISA -Tidorum BoundT for Worst Case Execution Time estimation Performs static analysis at the machine code level; Bounds on execution time; Bounds on stack usage; Control flow graphs and call trees; Automatically bounds counter-type loops; Context-sensitive: loop-bounds can use parameters; Accepts user's assertions on program behaviour; Command-line interface and parsable output format support automated runs; Fully supports ERC32; No timing models for the LEON systems and consequently execution time bounds are not supported. There is no plan to develop LEON timing models. -Rapita RapiTime On Target Timing Analysis; Automatic instrumentation; On target testing and execution; Hardware trace capture; Code coverage analysis; Performance profiling; Worst-case execution time analysis; Targeted optimisation; Support for C and Ada; Support for industrial scale programs. -Absint aiT WCET Analyzers statically compute tight bounds for the worst-case execution time (WCET) of tasks in real-time systems. They directly analyze binary executables and take the intrinsic cache and pipeline behavior into account. - -IPL Cantata++ and AdaTest95 Unit and Integration Testing; Full support for ANSI C (89 and 99), ISO C++, EC++ and Java coverage; Automated Test Script generation and easy navigation; Integrated Coverage Analysis (C/C++, Java); Metrics for code coverage analysis and static analysis; Automated Stubbing and Wrapping to simulate and control external interfaces; Static analysis; Exception Verification; Project Level Tree View for test results; -Rational Test RealTime Unit Testing, System Testing, and Coverage [old ATTOL tools] Automated source code review; Component testing (C/C++, Ada, Java); Memory profiling (C/C++, Java); Performance profiling (C/C++, Java); Thread profiling (C/C++, Java); Code coverage analysis (C/C++, Ada, Java); Runtime tracing (C/C++, Java); System testing (C); Target deployment technology (C/C++, Ada, Java); Integration with IBM Rational solutions; Integration with third-party tools: Mathworks Simulink, Microsoft Visual Studio; TI Code Composer Studio; Eclipse plug-in. -MathWorks Simulink Verification and Validation links requirements with Simulink and Stateflow objects, tests, and generated code; assigns verification blocks to test signals; identifies untested portions of project model; checks Simulink and Stateflow models for compliance with modeling standards; verify design through model testing: assess verification and validation completeness. - -SciTools Understand for C++ Navigate and browse through the code; Analyze ANSI C, K&R C, and C++; View entity information (file location, members, derived classes, references, etc); Search through the code using regular expressions; Create, view and navigate code through graphical reports; Create HTML and text reports; Detailed application-level metrics; Create custom plugins using the available APIs; Create scripts; Export graphical reports to Visio. -Sparx Systems Enterprise Architect Full round-trip engineering for C++, Java and others; Extensible (profiles, automation, add-ins, customisable templates); UML 2.1 support; XMI 2.1 support; SysML 1.0 support; BPMN (Business Process Modelling Notation) 1.0 support; Requirements management; Automated document generation; Debug of running code; Model-to-model transformations; Version Control Support. -Doxygen Documentation system for C, C++, Java, Objective-C, Python, IDL and others; Generates documentation in HTML, LaTeX and PDF; Supports code navigation, backward and forward cross-reference - -MathWorks Polyspace verifier of run-time error by static analysis Automatically analyzes C, C++, and Ada source code; Uses formal methods to detect errors and prove mathematically that certain classes of run-time errors do not exist. -Klocwork Automatically analyzes C, C++, and Java source code; Performs impact analysis, enforce usage rules, and optimize headers; Software metrics tracking. -Telelogic Logiscope Automatically analyzes C, C++, Java, Ada83 and Ada95 source code; Automated error-prone module detection and code reviews. - -OBOSS, a PUS compliant generic Data Handling -The On Board Software Framework - - -Lydia (Language for sYstem DIAgnosis) (Language for sYstem DIAgnosis) -RODON performs reliability analyses such as FMEA and FTA, generates diagnostic knowledge such as Compiled Models and Diagnostic Decision Trees (DTs) and generates diagnostic results by applying interactive Model Based Diagnostics (MBD) or Compiled Model Based Diagnostics - -ECSS-E40 and Q80 trainings -MEGA Suite process modelling - - -Publication on Patentability of computer-implemented inventions Last update: 23 July 2008
|