2006
DOI: 10.1504/ijes.2006.014851
|View full text |Cite
|
Sign up to set email alerts
|

Applying model-driven development to distributed real-time and embedded avionics systems

Abstract: Abstract-Model-driven development (MDD) is an emerging paradigm that uses domain-specific modeling languages (DSMLs) and generative technologies to provide "correct-by-construction" capabilities for many software development activities. This paper provides two contributions to the study of applying MDD to distributed real-time and embedded (DRE) systems that use standards-based quality of service (

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
13
0

Year Published

2007
2007
2021
2021

Publication Types

Select...
4
2
2

Relationship

3
5

Authors

Journals

citations
Cited by 19 publications
(13 citation statements)
references
References 21 publications
0
13
0
Order By: Relevance
“…Our algorithms also use the following auxiliary functions: (1) f acets(c), which returns the set of facets defined in component c, (2) receptacles(c), which returns the set of receptacles defined in component c, (3) publishers(c), which returns the set of publishers, i.e., event sources defined in component c, and (4) consumers(c), which returns the set of consumers, i.e., event sinks defined in component c. The details of these (and other) auxiliary functions are described in [7].…”
Section: Assumptions and Challenges In Component Fusionmentioning
confidence: 99%
“…Our algorithms also use the following auxiliary functions: (1) f acets(c), which returns the set of facets defined in component c, (2) receptacles(c), which returns the set of receptacles defined in component c, (3) publishers(c), which returns the set of publishers, i.e., event sources defined in component c, and (4) consumers(c), which returns the set of consumers, i.e., event sinks defined in component c. The details of these (and other) auxiliary functions are described in [7].…”
Section: Assumptions and Challenges In Component Fusionmentioning
confidence: 99%
“…Many platform-specific as well as platform-independent component structural modeling languages, such as Embedded Systems Modeling Language(ESML) [9] for embedded systems, J2EEML [17] for Enterprise Java Beans, and Platform Independent Component Modeling Language (PICML) [2] for Light-weight CORBA Component Model [12] (LwCCM) exist today that capture various composition semantics. In this paper we have focused on languages developed using GME since CQML is also developed using GME.…”
Section: Identifying Invariant Properties Of Componentbased Structuramentioning
confidence: 99%
“…Recent successes with DSM tools in this area include the Embedded Systems Modeling Language (ESML) [9] for avionics mission computing, SysWeaver [5] for embedded systems, and our earlier work on the Platform Independent Component Modeling Language (PICML) [2] for a range of distributed, real-time systems. These DSM tools provide support for component-based software engineering (CBSE) [3] wherein systems can be modeled by composing multiple different components, each encapsulating a reusable unit of functionality.…”
Section: Introductionmentioning
confidence: 99%
“…Therefore, it can be considered as a model-driven software development approach. CoSMIC (Component Synthesis using Model-Integrated Computing) (Gokhale et al, 2003;Balasubramanian et al, 2005) is another development environment which follows the paradigm of MDD. It is a collection of domain-specific modelling languages and generative tools for the development, configuration, deployment, and validation of distributed component-based real-time systems.…”
Section: Development Environmentsmentioning
confidence: 99%