GALILEO PHASE C0

Customer/Partner
EADS Astrium

Description
In December 2003 Critical was awarded the Galileo Phase C0 contract and got the first opportunity to get involved in the European Global Positioning System – Galileo. The Galileo programme is currently in its Development and Validation Phase. The goal of the sub-phase C0 is to consolidate the requirements from the previous sub-phase through extensive work confirming their feasibility, and to define the preliminary architecture of each segment. At the end of this phase, all segments’ requirements and external constraints shall be frozen.
Critical is working in the Ground Control Segment contributing in the definition of the software Product Assurance activities and in assessing the criticality levels of the software modules.

Technologies
Dependability and Safety Analysis, Software Criticality Analysis, Product Assurance

Links
www.space.eads.net

 

BScan4FI

Customer/Partner
ADI, Instituto Pedro Nunes, ISEC, ISEP

Description
BSCAN4FI (Exploiting Boundary Scan Technology for Fault- Injection) aims to exploit boundary scan technology (and its derivatives, namely the Nexus standard) for advanced test and validation purposes, namely through fault-injection. The results of the project will be incorporated in the Xception product line, thus fulfilling needs of the Telecommunication, Networking and Automotive Embedded Systems markets for non-intrusive advance test technology.

Technologies
Boundary Scan (IEEE 1149.1), Nexus (IEEE-ISTO 5001), SWIFI, PowerPC, ERC32

Links
www.xception.org
www.nexus5001.org

 

DBENCH

Customer/Partner
University of Coimbra, LAAS-CNRF (F), Univ. Chalmers (S), TU-Friedrich-Alexander (D), TU-Valencia (ES) , Microsoft, Oracle, Astrium, Saab Ericsson Space, Caldera, Thales

Description
Dbench stands for "Dependability Benchmarking" and is an IST 5th FP project aimed at developing concepts, guidelines and prototypes for dependability benchmarking.
DBench will provide to system developers and end-users means for

  • assessing the dependability of a system,
  • identifying malfunctioning or weak components of a system which require special attention,
  • tuning a particular component to enhance its dependability, and iv) comparing the dependability of alternative or competing solutions.

Critical is responsible among other things for the dissemination and technology exploitation plan.

Technologies
Simulation, Fault Modeling, Stress Testing, OLTP, embedded space and automotive

Links
http://www.dbench.org
 

REMOTE EXPLORATION AND EXPERIMENTATION (REE)

Customer/Partner
NASA Jet Propulsion Laboratory

Description
REE is aimed at developing a system of high performance and reliability over COTS components (both hardware and software) to equip NASA space vehicles in near future missions (beyond 2005). Critical Software provided and configured to the JPL specific needs the Xception™ technology for testing and validation of computational systems. Xception™ is Critical intellectual property and it is worldwide leader on fault injection testing.

Technologies
Java, Jdbc, assembly PowerPC750, PostGres, System Level Programming (LynxOS, Linux, SunOS).

Links
http://www.nasa.gov
http://www.jpl.nasa.gov
http://www-ree.jpl.nasa.gov  

 
 

RAMS Framework project

Customer/Partner
ESA (ESTEC)

Description
Frame Contract with ESA for the application of Dependability and Safety Evaluations. Techniques applied include Static and Dynamic ones, from SwFMECA, to FTAs, HSIA, Code Inspections, Stress Testing and Robustness Testing.
So far SwFMECA, Code Inspections and Code Analysis have been applied to the SCOS2K product and Robustness Testing and Stress Testing are being applied onto the RTEMS real-time kernel product.
The hardware/software integration analysis (HSIA) was improved for the Herschel-Planck mission.

Technologies
SwFMECA, Code Inspection, Code Analysis, Robustness and Stress Testing, HSIA, SCOS2K, RTEMS

Links
http://www.esa.int
 
More Articles...