Latest news

No news at this moment


Press Release

Commissariat à l’Energie Atomique, France

An Introduction to VeriFast for Java

Jochen Burghardt, Hans Werner Pohl

A Trusted Virtual Security Module

Ronald Toegl, Florian Reimair, Martin Pirker


Thales Communications & Security

Thales Communications & Security

Further Information :

About Thales Communications & Security

Thales is a global technology leader for the Aerospace, Space, Defense, Security and Transportation markets. In 2008, the company generated revenues of 12.7 billion Euros with 68,000 employees in 50 countries. With its 25,000 engineers and researchers, Thales has a unique capability to design, develop and deploy equipment, systems and services that meet the most complex security requirements and has an exceptional international footprint, with operations around the world working with customers as local partners.
Thales Communications & Security (TCS) is developing new products, pooling technical expertise or developing joint bids under numerous agreements with its European partners. TCS addresses any activity related to telecommunications: mobile radio-communications, ATM networks development, aeronautical and naval communication, network administration, identification and radio navigation, information systems. TCS also co-operates with many SMEs and Research Centres in National Programs (RNRT, RNTL) or European Programs (EUREKA, ICT, ACTS, INCO). The company develops, since years, its activities in civil markets such as civil aviation, radio spectrum monitoring and information technology security. SC2 (Software Core for Computer based systems department), the lab of TCS involved in STANCE, is mainly dedicated to participate to this kind of research programs and disseminate and transfer technological the results into TCS operational entities but also other Thales divisions like Aerospace, Land, Avionic.

Role in the Project

In the project, TCS will mainly experiment new code verification approach for security and the impact on its component based software engineering deployed approach. For that, TCS will provide a Single Sign On use case.

Key Personnel

Olivier Hachet, is a research engineer in TCS. He manages a team involved in R&T programs related to distributed middleware in real time and embedded systems. He started its activity in this domain by implementing a framework supporting component-based distributed applications for a software defined radio system. He was a main contributor to the lwCCM OMG specification in 2003 and is also involved in several OMG specifications like “Deployment and Configuration”, “DDS for CCM”, “QoS for CCM”. He is now involved in several R&T projects allowing the adaptation of component based approach for multiple domains in TCF with respect to their specific embedded system constraints

Hugues Balp is a research engineer in TCS specialized in critical distributed real-time embedded systems at SC2 since 2007.
He has contributed to many R&T projects related to the design of real-time embedded component-based systems for several applicative domains such as software defined radio, avionics and railway signaling. He has managed the PARSEC R&T project involved in the definition and prototyping of an end-to-end development process for critical embedded systems. He joined TCS in 2000 as signal processing engineer and developed the modem of a frequency hopping test waveform for the first TCS software radio demonstrator.