A Formal Framework for On-line Software Version Change
IEEE Transactions on Software Engineering
Designing for evolvability: building blocks for evolvable real-time systems
RTAS '96 Proceedings of the 2nd IEEE Real-Time Technology and Applications Symposium (RTAS '96)
Specifying adaptation semantics
WADS '05 Proceedings of the 2005 workshop on Architecting dependable systems
MetaWSL and Meta-Transformations in the FermaT Transformation System
COMPSAC '05 Proceedings of the 29th Annual International Computer Software and Applications Conference - Volume 01
Dynamic Reconfiguration of Component-based Real-time Software
WORDS '05 Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems
A Dependable Online Testing and Upgrade Architecture for Real-Time Embedded Systems
RTCSA '05 Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
Feedback linking: optimizing object code layout for updates
Proceedings of the 2006 ACM SIGPLAN/SIGBED conference on Language, compilers, and tool support for embedded systems
Proceedings of the 2006 international workshop on Global integrated model management
Advanced model transformation language constructs in the VIATRA2 framework
Proceedings of the 2006 ACM symposium on Applied computing
MIS '05 Proceedings of the 2005 symposia on Metainformatics
Automatic Inference of Structural Changes for Matching across Program Versions
ICSE '07 Proceedings of the 29th international conference on Software Engineering
JDiff: A differencing technique and tool for object-oriented programs
Automated Software Engineering
Differencing logical UML models
Automated Software Engineering
Model-driven development of component-based adaptive distributed applications
Proceedings of the 2008 ACM symposium on Applied computing
Towards Automatic Middleware Generation
ISORC '08 Proceedings of the 2008 11th IEEE Symposium on Object Oriented Real-Time Distributed Computing
Experiments with Fractal on Modular Reflection
SERA '08 Proceedings of the 2008 Sixth International Conference on Software Engineering Research, Management and Applications
Experience with safe dynamic reconfigurations in component-based embedded systems
CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
Enabling self-adaptivity in component-based streaming applications
ACM SIGBED Review - Special Issue on the 2nd International Workshop on Adaptive and Reconfigurable Embedded Systems (APRES'09)
Hi-index | 0.00 |
Satellite software has to deal with specific needs including high integrity and dynamic updates. In order to deal with these requirements, we propose working at a higher level of abstraction thanks to model-driven engineering. Doing so involves many technologies including model manipulation, code generation and verification. Before we can implement the approach, there is a need for further research in these areas, e.g., about meta-transformations in order to maintain several consistent related code generators. We highlight such issues in regard to the current state of the art.