This website contains the combined results of the Robocop, Space4U, and Trust4All projects. Click on a link below to view its contents.

Short Description
Robocop Space4U Trust4All
The aim of the Robocop project is to develop a middleware architecture and component model for high volume consumer electronics, e.g. mobile devices and PDAs. The architecture provides support for robustness, real-time applications, secure component downloading and upgrading. This should enable software IP exchange. The components should be constrained, robust, reliable, and manageable.
In this project, the TU/e focusses on methods for specification and algorithms for analysis of non-functional and emergent properties of component-based architectures.
The aim of this project theme is to consolidate and extend on the results of the ROBOCOP project (ITEA 00001) by investigating a number of fields of research that are considered extremely important for the application domain but have not been covered by the first project. The Space4U project extends the middleware architecture defined in the Robocop project with fault prevention, power management, and terminal management. This includes secure downloading aspects. Besides these new novel research subjects Space4U will complete the implementation and validation from the prototype level of the ROBOCOP project results into a full ROBOCOP-compliant component based framework. Last but not least important, the Space4U project will continue the standardisation process and support the preparation of the deployment of the ROBOCOP compliant component based framework. The ability to update and tailor a product offers an increased return of investment (by extending the lifetime) and increased business agility (by adapting to changing requirements). For embedded systems, this flexibility can be offered by enabling the upgrading and extension of the software in the system. The facility for loading new software onto a device opens up the opportunity for introducing software on the system that is developed by third parties (parties other than the producer of the device). This openness is beneficial for the emergence of a market for software components. However, this openness may also result in the introduction of faulty and/or malicious software on the system. Clearly, this constitutes a threat to the correct functioning of a system.
Nomal open systems accept arbitrary feature additions, while trusted open systems only accept trusted feature additions.
The problem that the Trust4All project aims to solve is how to establish and maintain correct operation of a system, while the software embedded in the system is being upgraded and extended (while the system is in use by a customer).
In software systems, the mechanisms for enabling the upgrading of software are allocated to the middleware layer. The goal of the Trust4all project is to invent techniques for the middleware for ensuring the proper working of systems whose software is dynamically extended and upgraded.
More extended summaries are available from TUE, ERCIM (1, 2), and HiTech Projects.
Papers
Robocop Space4U Trust4All
[PDF $$$] "Package-Based Software Development", de Jonge, EUROMICRO'03, 2003
[PDF] "Evaluation of Static Properties for Component-Based Architectures", Fioukov, Eskenazi, Hammer, Chaudron, EUROMICRO'02, 2002-09-04
[PDF] "Scenario-Based Prediction of Run-time Resource Consumption in Component-Based Software Systems", de Jonge, Muskens, Chaudron, ICSE 6, 2003-04
[PDF] "Prediction of Run-time Resource Consumption in Multi-task Component-Based Software Systems", Muskens, Chaudron, 2004-01-20
[PDF] "Scenario-Based Prediction of Run-time Resource Consumption in Multi-task Component-Based Software Systems", Muskens, Chaudron, CBSE 7, 2004-05-24
[PDF] "A Component Framework for Consumer Electronics Middleware", Muskens, Chaudron, Lukkien, LNCS 3778, 2005-02
[PDF] "On Design-Time Performance Predictions of Object-Based MPEG-4 Video Applications", Bondarev, Pastrnak, de With, Chaudron, SPS DARTS, 2005-04-20
[PDF] "Modelling of Input-Parameter Dependency for Performance Predictions of Component-Based Embedded Systems", Bondarev, Muskens, de With, Chaudron, Lukkien, EUROMICRO'05, 2005-09
[PDF] "A Process for Resolving Performance Trade-Offs in Component-Based Architectures", Bondarev, Chaudron, de With, CBSSE 9, 2006-07
[PDF] "Predicting Real-Time Properties of Component-Based Applications", Bondarev, de With, Chaudron, RTCSA 10, 2004-08
[PDF] "Predicting Real-Time Properties of Component Assemblies: a Scenario-Simulation Approach", Bondarev, Chaudron, de With, EUROMICRO'04, 2004-09
[PDF] "Predictable Component-Based Software Design of Real-Time MPEG-4 Video Applications", Bondarev, Pastrnak, de With, Chaudron, VCIP 5960, 2005-07
[PDF] "Automated Trustworthiness Management for Database Software Components", Palo, Savola, 2007
[PDF $$$] "Adaptive runtime fault management for service instances in component-based software applications", Su, Chaudron, Lukkien, IET Software, 2007-02-28
[PDF] "A Methodology to Predict and Select Control Modes for a Trustworthy Platform", Yan (Nokia Research Center), WSEAS Transactions on Computer (issue 3, volume 6), 2007-03
[PDF $$$] "Self-adjusting Component-based Fault Management", Chaudron, Su
[PDF $$$] "A Language-based Access Control Approach for Component-based Software Applications", Su, Lukkien, Chaudron, Software Engineering Applications, 2006
[PDF] ", Bondarev, de With, Workshop on Design of Multimedia Architectures, Workshop on Design of Multimedia Architectures, 2003-12-18
[PDF] "Maintaining Terminal Integrity and Context-Aware Reconfiguration", Muskens, Virtanen, Chaudron, MacLaverty, ECOOP, 2004-06-14
[PDF] "Towards Predicting Real-Time Properties of a Component Assembly", Bondarev, de With, Chaudron, EUROMICRO'04, 2004-08-31
[PDF] "Integrity Management in Component Based Systems", Muskens, Chaudron, EUROMICRO'04, 2004-08-31
[PDF] "Finding Inconsistencies between Views using Relation Partition Algebra", Muskens, Chaudron, Bril, CS Report 05-01, 2005
[PDF] "Quality-Oriented Design Space Exploration for Component-Based Architectures", Bondarev, Chaudron, Zhang, Klomp, 2006-09
[PDF] "Language-based access control approach for component-based software applications", Su, Lukkien, Chaudron, 2007-10
Tutorials
Robocop Space4U Trust4All
None available yet.
Deliverables
Robocop Space4U Trust4All
[PDF-in-ZIP] D1.2 Concept of fraework, 2001-Q4
[PDF-in-ZIP] D1.3 Initial specification of framework and models 1, 2002-Q2
[PDF] D1.5 Revised specification of framework and models 3 (final), 2003-Q2
None available yet. [PDF] "Implementation and Experimentation with Adaptive Fault Management in Component based Software Systems", Yang, master's thesis, 2007-08
[PDF] "Robocop Components 'Trust and Simulation' ", Rikkers, master's thesis, 2007-05
Presentations
Robocop Space4U Trust4All
[PPT] "Space4U and Robocop", Muskens, Empress ITEA, 2003-09-16
[PDF] "System Integrity Management", Muskens, IDEALS, 2004-02-04
[PPT] "Prediction of Run-Time Resource Consumption of Multi-Task Component Based Systems", Muskens, ICSE 7, 2004-05-25
[PDF] "Trust4All: trustworthy embedded systems", Eertink (Telematica Instituut), IPA, 2005-11-23
[PDF] "Trustworthy software secures key applications - dependable embedded software will meet future needs", Gelissen (Philips)
[PDF] "Context-aware Trust in Component-based Systems", Toivonen (VTT), Digitalo, 2006-05-18
[PDF] "Trustworthiness Management in High Volume Embedded Devices", Muskens (Philips), 2006-11-10
[PDF] "Trust4All", Floréen, Przybilski, Vähäkangas, Musto, HIIT, 2007-03-16

Valid XHTML 1.1 Valid CSS