Sciweavers

3056 search results - page 524 / 612
» Compiling Embedded Languages
Sort
View
DATE
2009
IEEE
120views Hardware» more  DATE 2009»
15 years 11 months ago
Towards a formal semantics for the AADL behavior annex
—AADL is an Architecture Description Language which describes embedded real-time systems. Behavior annex is an extension of the dispatch mechanism of AADL execution model. This p...
Zhibin Yang, Kai Hu, Dianfu Ma, Lei Pi
DATE
2007
IEEE
136views Hardware» more  DATE 2007»
15 years 11 months ago
Compositional specification of behavioral semantics
An emerging common trend in model-based design of embedded software and systems is the adoption of Domain-Specific Modeling Languages (DSMLs). While syntax metamodeling enables th...
Kai Chen 0003, Janos Sztipanovits, Sandeep Neema
116
Voted
COSIT
2007
Springer
89views GIS» more  COSIT 2007»
15 years 11 months ago
Specifying Essential Features of Street Networks
In order to apply advanced high-level concepts for transportation networks, like hypergraphs, multi-level wayfinding and traffic forecasting, to commercially available street netwo...
Simon Scheider, Daniel Schulz
DATE
2006
IEEE
126views Hardware» more  DATE 2006»
15 years 10 months ago
Communication and co-simulation infrastructure for heterogeneous system integration
With the increasing complexity and heterogeneity of embedded electronic systems, a unified design methodology at evels of abstraction becomes a necessity. Meanwhile, it is also i...
Guang Yang 0004, Xi Chen, Felice Balarin, Harry Hs...
ECRTS
2005
IEEE
15 years 10 months ago
Automated Model-Based Generation of Ravenscar-Compliant Source Code
Graphical languages of various sorts are increasingly used for the specification and the design of high-integrity real-time systems. Their coverage however does not extend with a...
Matteo Bordin, Tullio Vardanega