Developing applications using model-driven design environments
Historically, software development methodologies have focused more on improving tools for
system development than on developing tools that assist with system composition and …
system development than on developing tools that assist with system composition and …
Bogor: an extensible and highly-modular software model checking framework
Robby, MB Dwyer, J Hatcliff - ACM SIGSOFT Software Engineering …, 2003 - dl.acm.org
Model checking is emerging as a popular technology for reasoning about behavioral
properties of a wide variety of software artifacts including: requirements models, architectural …
properties of a wide variety of software artifacts including: requirements models, architectural …
Vest: An aspect-based composition tool for real-time systems
JA Stankovic, R Zhu, R Poornalingam… - The 9th IEEE Real …, 2003 - ieeexplore.ieee.org
Building distributed embedded systems from scratch is not cost-effective. Instead, designing
and building these systems by using domain specific components has promise. However, in …
and building these systems by using domain specific components has promise. However, in …
Style-based modeling and refinement of service-oriented architectures: a graph transformation-based approach
Abstract Service-oriented architectures (SOA) provide a flexible and dynamic platform for
implementing business solutions. In this paper, we address the modeling of such …
implementing business solutions. In this paper, we address the modeling of such …
Model driven middleware: A new paradigm for developing distributed real-time and embedded systems
A Gokhale, K Balasubramanian, AS Krishna… - Science of Computer …, 2008 - Elsevier
Distributed real-time and embedded (DRE) systems have become critical in domains such
as avionics (eg, flight mission computers), telecommunications (eg, wireless phone …
as avionics (eg, flight mission computers), telecommunications (eg, wireless phone …
A platform-independent component modeling language for distributed real-time and embedded systems
K Balasubramanian, J Balasubramanian… - Journal of Computer and …, 2007 - Elsevier
This paper provides two contributions to the study of developing and applying domain-
specific modeling languages (DSMLS) to distributed real-time and embedded (DRE) …
specific modeling languages (DSMLS) to distributed real-time and embedded (DRE) …
Enhancing modular OO verification with separation logic
Conventional specifications for object-oriented (OO) programs must adhere to behavioral
subtyping in support of class inheritance and method overriding. However, this requirement …
subtyping in support of class inheritance and method overriding. However, this requirement …
A testing framework for model transformations
Y Lin, J Zhang, J Gray - Model-driven software development, 2005 - Springer
As models and model transformations are elevated to first-class artifacts within the software
development process, there is an increasing need to provide support for techniques and …
development process, there is an increasing need to provide support for techniques and …
Interrupt verification via thread verification
J Regehr, N Cooprider - Electronic Notes in Theoretical Computer Science, 2007 - Elsevier
Most of the research effort towards verification of concurrent software has focused on
multithreaded code. On the other hand, concurrency in low-end embedded systems is …
multithreaded code. On the other hand, concurrency in low-end embedded systems is …