Critical Software DEPENDABLE TECHNOLOGIES
FOR CRITICAL SYSTEMS
Search

Home arrow Solutions arrow CaseStudies arrow Aerospace

Aerospace Case Studies

PDF Print E-mail

EUROPEAN POLAR SYSTEM (EPS) - IASI-L2 PPF

Customer/Partner
Eumetsat, Alcatel Space Ind. , Skysoft, Edisoft, Ineti

Description
This project is part of the EPS (European Polar System), the European element of the Initial Joint Polar-orbiting operational satellite System (IJPS) established through a Cooperation Agreement between EUMETSAT and the NOAA.

IASI L2 is a PPF (Product Processing Facility) part of the ground segment that converts telemetry data (NOAA and Metop data) into products that can be interpreted by end users.

The project included the design, implementation and testing of the IASI L2 PPF software.

Partners of the Project are Alcatel Space, Skysoft, Edisoft, and Ineti.

Technologies
OOD, OOP, C, C++, CPPunit, Aix, Linux, Matlab

Links
http://www.eumetsat.de/
http://www.alcatel.com/space/
http://www.ineti.pt/


ASCOSA study

Customer/Partner
ESOC

Description
During the last few years the Spacecraft Control and Operations System (SCOS) has been improved and consolidated by adding new functionalities and revising existing ones. While these improvements have made the system more powerful, they have added extra complexity, making the maintenance more difficult.

The ASCOSA study (Analysis of SCOS-2000 Architecture) aimed to define a partitioning of the kernel into subsystems with well-defined interfaces, in order to reduce the complexity and make the maintenance of the existing code easier. The starting point consisted in an assessment and evaluation of the architecture and development environment of v2.3e based on specific ISO 9126 quality metrics. Several deficiencies and sources of potential problems have been uncovered.

Based on the evaluation, the study has addressed the partitioning for both the architecture and the development environment. In terms of architecture, slight and medium changes have been proposed, as well as possible scenarios for evolving the system.
Concerning the partitioning of the development environment a layering scheme has been proposed, taking into consideration the need to minimize the impact of refactoring the system, as well as the requirement of assuring a modular environment with reduced complexity. The implementation of this partitioning shall take place in future versions of SCOS-2000, namely version 3.1.

Technologies
OOA, C, C++, Java

Links
http://www.esoc.esa.de/


HICOD-2000

Customer/Partner
ESA (ESRIN), ADETTI

Description
HICOD2000 is a two-year project which began in May 2003 that aims to:

  • Define and develop an inexpensive, open architecture and high-performance Grid-based computing environment to produce JPEG2000 coded digital images obtained from Earth Observation (EO) digital products, of small to very large sizes, requiring the trans-coding of such products into the JPEG2000 format.
  • Access JPEG2000 EO images in an interactive and flexible way.
  • Define and develop a software architecture and introduce new concepts of electronic trading of EO digital products and/or related JPEG2000 images with end-users, able to provide secure access to such EO products in a flexible and scalable way (within the framework of a Digital Rights Management Architecture), enforcing contractual agreements between the content provider (ESA) and the end-user, as well as ensuring copyright protection of such digital items.

Technologies
JPEG2000, OGSA Grid, e-commerce, DRM

Links
http://www.hicod2000.com
http://www.esrin.esa.it
http://www.adetti.pt
http://www.jpeg.org/JPEG2000.html


SCOS-2000 Produtization

Customer/Partner
ESOC

Description
SCOS-2000 spacecraft control system framework is the third generation of Mission Control System developed by ESA/ESOC after MSSS and SCOS-I. Since then, a number of missions have been supported and the software has been continuously improved.
So far SCOS-2000 software is being developed based on ESOC environment and constraints. In view of a wide distribution of the software within the European Space community (SCOS Community), a set of improvements has been identified to maintain SCOS-2000 quality and allow an easy access to the SCOS technology for new projects.

SCOS-2000 Produtization aims to promote of SCOS-2000 and the related software infrastructure as a software "product". The project includes the execution of a general software quality improvement, the development of user/customer oriented documentation, the production of packaging and marketing materials targeting SCOS-2000 customers and the improvement of the maintenance process.
A web site with discussion forums, a knowledge based system, mailing lists, FAQ, general documentation, etc shall be also developed to promote the product within the SCOS community.

Technologies
OOA, C, C++, Java

Links
http://www.esoc.esa.de


SMOS Level1 Processor Phase 1

Customer/Partner
ESA (ESTEC), DEIMOS

Description
The SMOS mission aims at measuring Soil Moisture and Ocean Salinity, two important variables for weather prediction. The mission uses the MIRAS instrument, and is scheduled to be launched in 2007.
The "Level 1 Processor Phase 1" study was conceived mainly to define a clear baseline for the development of the SMOS Level 1 Processor during phase 2, such that development, cost and technical risks are minimized.
The study includes the definition of system architecture in terms of HW and SW platform; implementation of prototypes in order to address specific trade-offs (e.g. image processing algorithms); production of a preliminary fully representative Level 1 Processor; and finally the definition of the SMOS Level 1 Processor Conceptual Design (algorithm definition, input/output definition, resource requirements).

Technologies
C, Matlab, Linux, MPI

Links
http://www.esa.int/export/esaLP/smos.html


Engineering Support to European Technology Harmonization of the Ground System Software

Customer/Partner
ESOC

Description
Over the past years efforts have been made in Europe to harmonize the space technology with the objective to have more cooperation and specialization, and strengthen the competitiveness of the space industry. The roadmap of the Harmonization for 2003 includes Ground Systems Software, initially restricted to Mission Control and EGSE and then broadens to include the other ground system components (Flight Dynamics, simulators, Data archiving and mission planning).
The objective of the project is to provide engineering support to the Steering board of the Ground System Software during first phases of the harmonization roadmap.
The engineering support of the 1st phase foresees a preliminary analysis of the Ground Segment requirements, forwarded by the consolidation of this data into high level requirements and services and the definition of a reference architecture. The reference architecture is described using the RM-ODP framework. RM-ODP is a standard for modelling distributed open systems architectures, using an object-oriented and structured approach, which has been issued by the International Telecommunications Union (ITU-T) and the International Organization for Standardization (ISO).
The 2nd phase is dedicated to producing interfaces between the key components identified in the architecture.

Technologies
RM-ODP, XML, UML

Links
http://www.esoc.esa.de/
http://www.ecss.nl
http://www.dstc.edu.au/Research/Projects/ODP/ref_model.html


CRYOSAT ISVV

Customer/Partner
ESA (ESTEC), Astrium Gmbh, Softwcare Ltd

Description
Cryosat is a three-year radar altimetry mission, scheduled for launch in 8th October 2005, to determine variations in the thickness of the Earth’s continental ice sheets and marine ice cover. Its primary objective is to test the prediction of thinning arctic ice due to global warming.

The Cryosat Independent Software Verification and Validation (ISVV) project started May 2002. CSW is leading this program for the CryoSat satellite prime – Astrium Gmbh.

The project features both verification and validation activities targeted at the spacecraft Central Data Management Unit (CMDU), including both the Attitude and Orbit Control System (AOCS) software and the Onboard Data Handling (OBDH), as well as a set of several instruments, including a Star Tracker and SIRAL, and the Solid State Mass Memory (MMFU).

Still at an infancy stage, the ISVV scheme, as presented in ECSS standards, was significantly tailored by CSW for this project. The consortium is responsible for the definition and execution of the test plans at the customer premises.

Technologies
ERC32, Ada95, DSPs (21020), C, Assembler

Links
http://www.esa.int/
http://www.softwcare.com
http://www.space.eads.net
http://www.esa.int/export/esaLP/cryosat.html


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


Evaluation and Certification of SCOS-2000

Customer/Partner
European Space Agency, TUV Rheinland

Description
This project consisted of an ESA SPEC based evaluation of SCOS-2000 (2001) - Definition of Software Classes for the SCOS-2000 product Certification and Evaluation according with the SPEC scheme. This project was accomplished in partnership with TUV. SCOS (Spacecraft Control and Operation System) is being promoted by ESA as a standard platform for mission control.

Links
http://www.esa.int/
http://www.tuv.de


Product Assurance for Pre-Developed Software

Customer/Partner
European Space Agency, Terma AB, Synspace AG, SoftWcare Ltd

Description
ESA PA-PRE-DEV (2001-2002) - This project aims to define the Product Assurance requirements to support the acquisition, evaluation, integration and maintenance of Pre-Developed software to be reused in a new development. Requirements associated with reuse shall be proposed in the aim of ECSS standardization effort, the SPEC method and its quality model, and the PASCON WO6 and WO12 work products.

Links
http://www.esa.int/
http://www.terma.com
http://synspace.com


Static and Dynamic Evaluation of Critical Software

Customer/Partner
European Space Agency, SoftWcare Ltd (SP)

Description
The STADY project is aimed at the verification and validation of critical software. It employs an innovative approach based on a specific combination of static verification and dynamic verification techniques. Techniques to be demonstrated include SFMECAs, FTAs and fault-injection featuring two case studies: the ORK and the OBOSS-II products on top of an ERC32 platform.

Technologies
Xception, FMECA, FTA, OBOSS, ERC32, ORK

Links
http://www.esa.int/
http://www.softwcare.es


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


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


CERTIFICATION OF SOFTWARE WITHIN A SPACE SYSTEMS

Customer/Partner
European Space Agency, Astrium SAS, EADS, Adelard, Det Norske Veritas

Description
Certification Scheme within a Space System: (contract 14 899/01/NL/JA). Partners of the project are Astrium SAS, DNV (Det Norske Veritas), Adelard, and EADS. The objectives of the study are to define generic requirements on software development and verification and validation, a global certification scheme and a generic certification plan.
Main input is civil aviation certification scheme as defined by DO178B.
Critical's role included detailed analysis and evaluation of development and validation best practices identified in multiple different domains with stringent safety requirements (Civil aviation, nuclear plants, railway).

Links
http://www.esa.int/
http://www.dnv.com
http://www.adelard.co.uk
http://www.astrium-space.com
http://www.eads.net


ATASDAS

Customer/Partner
SpaceBel (B), OPL(B), Surelog(FR), TAM (FR)

Description
ATASDAS is an R&D project financed by the EU aimed at "Automating Target Analysis to Speed up the Dependability Analysis of complex real time Software modules". Expected outcomes of the project include:

  • Development of tools to provide better services dealing with software dependability at the developer level.
  • Reduction of the corrective maintenance costs in software based solutions.
  • Better tool support for source code analysis of complex real time control software for verification and validation activities.

Technologies
Ada, C, C++, XML

Links
www.spacebel.com
www.surlog.com
www.xlab.com


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


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


GSS WEB PORTAL

Customer/Partner
ESA – European Space Agency

Description
The application developed, GSS-Web-3.0, is one of the tools that will support the promotion efforts for ESA Ground Segment Software and fully replaces the already existing ESOC Software Infrastructure Web Server (S2K-Web-2.0). It provides a new and modular architecture, based on a robust and complete set of open source Technologies.

The scope of the GSS-Web-3.0 project included the provision of an improved professional-quality website to promote the GSS products within the ESA member states and the development of a software infrastructure that drives the website and allows management of its contents. It was developed based in the existing business processes at the Portucel Soporcel Group using real time information, providing functionality based on different client relationship aspects, such as:
The new GSS-Web-3.0 web site provides the following primary capabilities:

  • Improved User Management
  • A News section
  • An Internet Forum section
  • A Documentation section
  • A Knowledge-base database
  • A structured Frequently Asked Questions section
  • Information about products, licenses, training and contacts
  • A dedicated section for the management of the GSS-Community database

Technologies
HTML, XML, XSLT, JDBC, J2EE, Liferay, Lucene

Links
www.esa.int


PREMFIRE

Customer/Partner
European Space Agency (ESA)

Description
In November 2001 Critical was awarded the PREMFIRE contract and got the first opportunity to get involved in the ESA Earth Observation framework. The main objective of this contract is to implement a demonstration system for fire risk assessment that can easily be used by the civil protection staff or other fire prevention services in Portugal.

PREMFIRE will extend the currently operating system, RISE, also adding wireless palmtop terminals providing real or near-real time exchange of data with field staff. Traditional information such as topography, fire history and land use will be integrated with meteorological conditions and Earth Observation (EO) data from ERS, SPOT and Landsat, and in the near future, positioning by EGNOS/Galileo. Fire risk maps will be generated and in case of emergency automatically alarms will be sent to the appropriate local fire protection units.

Technologies
C++, Java, VB, GPRS, SMS, Oracle

Links
http://www.esa.int/
http://www.cnig.pt/

 
Critical Case StudiesAerospace
DefenceFinance
energyGovernment
ManufacturingTelecommunications

Infovision award
CMMI Logo
Europe 500 Logo
EARSC Logo
Know More About Us
© 2008
Web site by DVisions