Real-time knowledge-based systems
AI Magazine
Structurally adaptive systems
Declarative programming techniques for engineering problems
Declarative programming techniques for engineering problems
Design of Dynamically Reconfigurable Real-Time Software Using Port-Based Objects
IEEE Transactions on Software Engineering
Increasing Productivity at Saturn
Computer
A Model-Based Approach to Self-Adaptive Software
IEEE Intelligent Systems
Model-integrated system development: models, architecture, and process
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Application of model-integrated computing in manufacturing execution systems
ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems
Uniform execution environment for dynamic reconfiguration
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
Model-integrated parallel application synthesis
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
A model-integrated information system for increasing throughput in discrete manufacturing
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
Model-based engineering of large-scale real-time systems
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based 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
autoVHDL: a domain-specific modeling language for the auto-generation of VHDL core wrappers
Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11
| Hi-index | 0.01 |
The knowledge-representation and compilation techniques used in a model-based, automatic software synthesis environment are discussed. The environment was used to build Caddmus, a system with more than 250 cooperating processes. The real-time execution environment automatically generates a macro-dataflow computation from declarative models. Central to the approach is the Multigraph Architecture, which provides the framework for model-based synthesis in real-time, parallel-computing environments. Application of Caddmus to analysis of all data related to testing new and redesigned turbine engines is described.