Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Script: a communication abstraction mechanism and its verification
Science of Computer Programming
A theory of diagnosis from first principles
Artificial Intelligence
Artificial Intelligence
Concepts and experiments in computational reflection
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Data abstraction mechanisms in SINA/ST
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
Contracts: specifying behavioral compositions in object-oriented systems
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
A software engineering experiment in software component generation
Proceedings of the 18th international conference on Software engineering
Little languages: little maintenance
Journal of Software Maintenance: Research and Practice
Modern Control Systems Analysis and Design Using MATLAB and SIMULINK
Modern Control Systems Analysis and Design Using MATLAB and SIMULINK
The Art of the Metaobject Protocol
The Art of the Metaobject Protocol
Embedded System Design Issues (The Rest of the Story)
ICCD '96 Proceedings of the 1996 International Conference on Computer Design, VLSI in Computers and Processors
An Object-Oriented Language-Database Integration Model: The Composition-Filters Approach
ECOOP '92 Proceedings of the European Conference on Object-Oriented Programming
Specifying Reusable Components Using Contracts
ECOOP '92 Proceedings of the European Conference on Object-Oriented Programming
Abstracting Object Interactions Using Composition Filters
ECOOP '93 Proceedings of the Workshop on Object-Based Distributed Programming
An approach for supporting aspect-oriented domain modeling
Proceedings of the 2nd international conference on Generative programming and component engineering
A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools
IEEE Transactions on Software Engineering
Adding trace matching with free variables to AspectJ
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Mop: an efficient and generic runtime verification framework
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Aspect-oriented software development
Aspect-oriented software development
Automated Fault Diagnosis in Embedded Systems
SSIRI '08 Proceedings of the 2008 Second International Conference on Secure System Integration and Reliability Improvement
FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
Metamodels in Europe: Languages, Tools, and Applications
IEEE Design & Test
Physical concept ontology for the knowledge intensive engineering framework
Advanced Engineering Informatics
Applying the Composition Filter Model for Runtime Verification of Multiple-Language Software
ISSRE '09 Proceedings of the 2009 20th International Symposium on Software Reliability Engineering
Spectrum-Based Multiple Fault Localization
ASE '09 Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering
Runtime Verification of Domain-Specific Models of Physical Characteristics in Control Software
SSIRI '11 Proceedings of the 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement
COCONES: an approach for components and contracts in embedded systems
Component-Based Software Development for Embedded Systems
Hi-index | 0.00 |
A considerable portion of software systems today are adopted in the embedded control domain. Embedded control software deals with controlling a physical system, and as such models of physical characteristics become part of the embedded control software. In current practices, usually general-purpose languages (GPL), such as C/C++ are used for embedded systems development. Although a GPL is suitable for expressing general-purpose computation, it falls short in expressing the models of physical characteristics as desired. This reduces not only the readability of the code but also hampers reuse due to the lack of dedicated abstractions and composition operators. Moreover, domain-specific static and dynamic checks may not be applied effectively. There exist domain-specific modeling languages (DSML) and tools to specify models of physical characteristics. Although they are commonly used for simulation and documentation of physical systems, they are often not used to implement embedded control software. This is due to the fact that these DSMLs are not suitable to express the general-purpose computation and they cannot be easily composed with other software modules that are implemented in GPL. This paper presents a novel approach to combine a DSML to model physical characteristics and a GPL to implement general-purpose computation. The composition filters model is used to compose models specified in the DSML with modules specified in the GPL at the abstraction level of both languages. As such, this approach combines the benefits of using a DSML to model physical characteristics with the freedom of a GPL to implement general-purpose computation. The approach is illustrated using two industrial case studies from the printing systems domain.