Dependable Technologies for Critical Systems
WARNING:
If your reading this, it means that you can't see the Flash sections on this site. You have to:
Critical’s Common Operational Systems Environment is a Command & Control framework for supporting the integration and monitoring of systems of systems.
In critical sectors, before deploying applications and systems, these must be subject to intensive testing in order to guarantee that the system and built-in fault-tolerance mechanisms are working as expected.
VERIFICATION: Are we building the product right?
VALIDATION: Are we building the right product?
PREMFIRE is a powerful and portable, multi-functional command & control decision support system for the prevention and mitigation of forest fire hazards.
eXtending free/open-source reaL-time execUtive for oN-board space Applications
xLuna is a RTEMS/Linux based kernel, as an alternative to commercial solutions, that can be used for both payload and avionics applications.
XPY employs an innovative technology to provide code coverage and profiling information for on-chip software testing, extending the capability of verification and validation (V&V) activities to an in-depth view of the system.
TestOO is an Open Source tool to perform programming language rule checking in order to improve the quality and reusability of software.
Critical Software S.A. - contacts
Critical Software S.A. - contacts