IWSAS' 2000 Proceedings of the first international workshop on Self-adaptive software
Model-integrated embedded systems
IWSAS' 2000 Proceedings of the first international workshop on Self-adaptive software
MILAN: A Model Based Integrated Simulation Framework for Design of Embedded Systems
OM '01 Proceedings of the 2001 ACM SIGPLAN workshop on Optimization of middleware and distributed systems
Proceedings of the joint conference on Languages, compilers and tools for embedded systems: software and compilers for embedded systems
Applying model-integrated computing to component middleware and enterprise applications
Communications of the ACM
Increasing Productivity at Saturn
Computer
Generative Programming for Embedded Systems
GPCE '02 Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering
Model Reuse with Metamodel-Based Transformations
ICSR-7 Proceedings of the 7th International Conference on Software Reuse: Methods, Techniques, and Tools
The Design and Performance of the jRate Real-Time Java Implementation
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Composing and Deploying Grid Middleware Web Services Using Model Driven Architecture
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Embedded Software: Challenges and Opportunities
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Modeling methodology for integrated simulation of embedded systems
ACM Transactions on Modeling and Computer Simulation (TOMACS)
A Model-Based Approach to System-Level Dependency and Real-Time Analysis of Embedded Software
RTAS '03 Proceedings of the The 9th IEEE Real-Time and Embedded Technology and Applications Symposium
ICDCS '03 Proceedings of the 23rd International Conference on Distributed Computing Systems
An end-to-end domain-driven software development framework
OOPSLA '03 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
GME: the generic modeling environment
OOPSLA '03 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
OOPSLA '03 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Metamodel based model transformation language
OOPSLA '03 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
ANEMIC: automatic interface enabler for model integrated computing
Proceedings of the 2nd international conference on Generative programming and component engineering
An approach for supporting aspect-oriented domain modeling
Proceedings of the 2nd international conference on Generative programming and component engineering
An End-to-End Tool Chain for Multi-View Modeling and Analysis of Avionics Mission Computing Software
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
ACM-SE 42 Proceedings of the 42nd annual Southeast regional conference
Model-driven integration of federated event services in real-time component middleware
ACM-SE 42 Proceedings of the 42nd annual Southeast regional conference
Supporting software evolution through model-driven program transformation
OOPSLA '04 Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 10 - Volume 11
CCMPerf: A Benchmarking Tool for CORBA Component Model Implementations
Real-Time Systems
Toward a semantic anchoring infrastructure for domain-specific modeling languages
Proceedings of the 5th ACM international conference on Embedded software
ACM Transactions on Embedded Computing Systems (TECS)
Model-based self-monitoring embedded programs with temporal logic specifications
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
ACM SIGBED Review - Special issue: The second workshop on high performance, fault adaptive, large scale embedded real-time systems (FALSE-II)
Constraint animation using an object-oriented declarative language
ACM-SE 38 Proceedings of the 38th annual on Southeast regional conference
Constraint validation support in visual model transformation systems
Acta Cybernetica
Actor-oriented models for codesign: balancing re-use and performance
Formal methods and models for system design
Automating the development of scientific applications using domain-specific modeling
Proceedings of the second international workshop on Software engineering for high performance computing system applications
Multilevel models in model-driven engineering, product lines, and metaprogramming
IBM Systems Journal - Model-driven software development
Feature-based survey of model transformation approaches
IBM Systems Journal - Model-driven software development
A model-based design framework to achieve end-to-end QoS management
Proceedings of the 43rd annual Southeast regional conference - Volume 1
Resource virtualization in real-time CORBA middleware
CODES+ISSS '06 Proceedings of the 4th international conference on Hardware/software codesign and system synthesis
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
A Simulation and Decision Framework for Selection of Numerical Solvers in
ANSS '06 Proceedings of the 39th annual Symposium on Simulation
Proceedings of the 1st ACM SIGOPS/EuroSys European Conference on Computer Systems 2006
A model-based extensible framework for efficient application design using FPGA
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Model-driven Development of Complex Software: A Research Roadmap
FOSE '07 2007 Future of Software Engineering
A QoS policy configuration modeling language for publish/subscribe middleware platforms
Proceedings of the 2007 inaugural international conference on Distributed event-based systems
Safe composition of product lines
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
Embedded systems security co-design
ACM SIGBED Review - Special issues on the NSF team for research in ubiquitous secure technology (TRUST) project reports
Validated model transformation-driven software development
International Journal of Computer Applications in Technology
Real-time analysis of resource-constrained distributed systems by simulation-guided model checking
ACM SIGBED Review - Special issue on the RTSS forum on deeply embedded real-time computing
Towards Verifying Model Transformations
Electronic Notes in Theoretical Computer Science (ENTCS)
Model-driven architecture for embedded software: A synopsis and an example
Science of Computer Programming
Model driven middleware: A new paradigm for developing distributed real-time and embedded systems
Science of Computer Programming
Model replication: transformations to address model scalability
Software—Practice & Experience
The development of training course for embedded middleware design
ACM SIGBED Review
A semantic framework for metamodel-based languages
Automated Software Engineering
Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
LEESA: Embedding Strategic and XPath-Like Object Structure Traversals in C++
DSL '09 Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages
Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations
Electronic Notes in Theoretical Computer Science (ENTCS)
System and software architectures of distributed smart cameras
ACM Transactions on Embedded Computing Systems (TECS)
Towards automatization of domain modeling
Data & Knowledge Engineering
An approach to self-adaptive software based on supervisory control
IWSAS'01 Proceedings of the 2nd international conference on Self-adaptive software: applications
Constraint-guided self-adaptation
IWSAS'01 Proceedings of the 2nd international conference on Self-adaptive software: applications
Program refactoring, program synthesis, and model-driven development
CC'07 Proceedings of the 16th international conference on Compiler construction
Applying model intelligence frameworks for deployment problem in real-time and embedded systems
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
A transformation instance-based approach to traceability
Proceedings of the 6th ECMFA Traceability Workshop
Using CTL model checker for verification of domain application systems
NN'10/EC'10/FS'10 Proceedings of the 11th WSEAS international conference on nural networks and 11th WSEAS international conference on evolutionary computing and 11th WSEAS international conference on Fuzzy systems
Application of model-integrated computing in manufacturing execution systems
ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems
Structured specification of model interpreters
ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems
ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
Model-driven generative techniques for scalable performabality analysis of distributed systems
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
MDE-based approach for generalizing design space exploration
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
The model-integrated computing tool suite
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Model driven language engineering with kermeta
GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
From domain specific languages to DEVS components: application to cognitive M&S
Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
The GDSE framework: a meta-tool for automated design space exploration
Proceedings of the 10th Workshop on Domain-Specific Modeling
Operational semantics of hybrid systems
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Replicators: transformations to address model scalability
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Modeling crosscutting services with UML sequence diagrams
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Semantic anchoring with model transformations
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
Domain-specific modeling of power aware distributed real-time embedded systems
SAMOS'06 Proceedings of the 6th international conference on Embedded Computer Systems: architectures, Modeling, and Simulation
An algebraic specification of generic OCL queries within the eclipse modeling framework
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude
Science of Computer Programming
Model-driven paradigms: the evolution of a university course
Proceedings of the 8th edition of the Educators' Symposium
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
Evolution in a context of an model-integrated tool environment
Proceedings of the 6th International Workshop on Models and Evolution
Design synthesis and optimization for automotive embedded systems
Proceedings of the 2014 on International symposium on physical design
A classification and rationalization of model-based software development
Software and Systems Modeling (SoSyM)
Hi-index | 4.12 |
Computers now control many critical systems in our lives, from the brakes on our cars to the avionics control systems on planes. Such computers wed physical systems to software, tightly integrating the two and generating complex component interactions unknown in earlier systems. Thus, it is imperative that we construct software and its associated physical system so they can evolve together. The paper discusses one approach that accomplishes this called model-integrated computing. This works by extending the scope and use of models. It starts by defining the computational processes that a system must perform and develops models that become the backbone for the development of computer-based systems. In this approach, integrated, multiple-view models capture information relevant to the system under design. The paper considers the Multigraph Architecture framework for model-integrated computing developed at Vanderbilt's Measurement and Computing Systems Laboratory