Run-time monitoring of real-time systems
Monitoring and debugging of distributed real-time systems
Building Reliable Component-Based Software Systems
Building Reliable Component-Based Software Systems
Quality driven web services composition
WWW '03 Proceedings of the 12th international conference on World Wide Web
Correctness by construction: a manifesto for high integrity software
SCS '05 Proceedings of the 10th Australian workshop on Safety critical systems and software - Volume 55
Quality-of-service oriented web service composition algorithm and planning architecture
Journal of Systems and Software
A transformation-driven approach to the verification of security policies in web designs
ICWE'07 Proceedings of the 7th international conference on Web engineering
Towards a Round-Trip Support for Model-Driven Engineering of Embedded Systems
SEAA '11 Proceedings of the 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Information and Software Technology
Hi-index | 0.00 |
Ever increasing complexity of modern software systems demands new powerful development mechanisms. Model-driven engineering (MDE) can ease the development process through problem abstraction and automated code generation from models. In order for MDE solutions to be trusted, such generation should preserve the system's properties defined at modelling level, both functional and extra-functional, all the way down to the target code. The outcome of our research is an approach that aids the preservation of system's properties in MDE of embedded systems. More specifically, we provide generation of full source code from design models defined using the CHESS-ML, monitoring of selected extra-functional properties at code level, and back-propagation of observed values to design models. The approach is validated against industrial case-studies in the telecommunications applicative domain.