Composition Validation and Subjectivity in GenVoca Generators
IEEE Transactions on Software Engineering
The design and performance of a real-time CORBA event service
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Real-Time Systems: Design Principles for Distributed Embedded Applications
Real-Time Systems: Design Principles for Distributed Embedded Applications
Adaptive Object-Oriented Software: The Demeter Method with Propagation Patterns
Adaptive Object-Oriented Software: The Demeter Method with Propagation Patterns
Pattern-Oriented Software Architecture: Patterns for Concurrent and Networked Objects
Pattern-Oriented Software Architecture: Patterns for Concurrent and Networked Objects
Applying model-integrated computing to component middleware and enterprise applications
Communications of the ACM
Computer
A Formal Model for Module Interconnection Languages
IEEE Transactions on Software Engineering
Model Reuse with Metamodel-Based Transformations
ICSR-7 Proceedings of the 7th International Conference on Software Reuse: Methods, Techniques, and Tools
Usage Scenarios for an Automated Model Compiler
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Embedded Software: Challenges and Opportunities
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
System-Level Types for Component-Based Design
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Modeling Real-Time Systems-Challenges and Work Directions
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
JTS: Tools for Implementing Domain-Specific Languages
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Proceedings of the 25th International Conference on Software Engineering
An approach for supporting aspect-oriented domain modeling
Proceedings of the 2nd international conference on Generative programming and component engineering
A generative approach to framework instantiation
Proceedings of the 2nd international conference on Generative programming and component engineering
IEEE Transactions on Software Engineering
Constraint validation support in visual model transformation systems
Acta Cybernetica
BOTS: a constraint-based component system for synthesizing scalable software systems
Proceedings of the 2006 ACM SIGPLAN/SIGBED conference on Language, compilers, and tool support for embedded systems
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Validated model transformation-driven software development
International Journal of Computer Applications in Technology
Experience of building an architecture-based generator using GenVoca for distributed systems
Science of Computer Programming
Towards architecture-centric software generation
ECSA'10 Proceedings of the 4th European conference on Software architecture
Directed incremental symbolic execution
Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
Hi-index | 0.00 |
Embedded systems represent fundamentally new challenges for software design, which render conventional approaches to software composition ineffective. Starting with the unique challenges of building embedded systems, this paper discusses key issues of model-based technology for embedded systems. The discussion uses Model-Integrated Computing (MIC) as an example for model-based software development. In MIC, domain-specific, multiple view models are used in all phases of the development process. Models explicitly represent the embedded software and the environment it operates in, and capture the requirements of the application, simultaneously. Models are descriptive, in the sense that they allow the formal analysis, verification and validation of the embedded system at design time. Models are also generative, in the sense that they carry enough information for automatically generating embedded systems from them using the techniques of program generators.