The TECOM Project
TECOM stands for Trusted Embedded COMputing for embedded computing platforms.
The strategic objective of TECOM was to investigate solutions and architectures for embedded systems platforms which need to meet both security and integrity requirements. The TECOM approach was to apply the concept of trusted platforms to real-time embedded systems.
The project involved 11 partners: Airbus, Amtec S.p.A., Infineon, Sirrix AG, Elsag Datamag, Technikon, Aonix, Trango Virtual Processors, Trusted Logix, Mixed Mode, Technische Universitat Dresden
The following major project results have been obtained with SYSGO involvement:
- "Trusted SMS": sending trusted SMSs on base of PikeOS inclusive "Trusted GUI" with TPM usage [SSFG10]
- "Trusted Meter": smart metering device on base of PikeOS with TPM usage
- The GWV (Greve/Wilding/Vanfleet) model has been adapted for the PikeOS microkernel setting [Tve11]
- A draft of Security Target for PikeOS has been developed
- The evaluation laboratory DFKI GmbH has written a draft evaluation technical report on the PikeOS ST ASE artefacts and given a judgment on the quality of the ADV artefacts
- The work on the PikeOS-specific memory manager has been abstracted to a more general setting and, still using the VCC from Verisoft, been published [BBBT11]
For more information on the project, please go to: http://www.tecom-project.eu/
[SSFG10] Marcel Selhorst, Christian Stüble, Florian Feldmann, and Utz Gnaida. Towards a trusted mobile desktop. In Alessandro Acquisti, Sean W. Smith, and Ahmad-Reza Sadeghi, editors, Trust and Trustworthy Computing, Third International Conference, TRUST 2010, Berlin, Germany, June 21-23, volume 6101 of LNCS, pages 78-94, 2010.
[Tve11] Sergey Tverdyshev. Extending the GWV security policy and its modular application to a separation kernel. In Mihaela Bobaru, Klaus Havelund, Gerard Holzmann, and Rajeev Joshi, editors, NASA Formal Methods, volume 6617 of Lecture Notes in Computer Science, pages 391-405. Springer Berlin/Heidelberg, 2011.
[BBBT11] Christoph Baumann, Thorsten Bormer, Holger Blasum, and Sergey Tverdyshev. Proving memory separation in a microkernel by code level verification. In Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), 2011 14th IEEE International Symposium on, pages 25-32. IEEE, 2011.