Model Integrated Computing in the Large

As model integrated computing gains wider and wider acceptance, the scalability of the supporting tools becomes a significant issue. Large, complex projects involve many developers who create large and complex models. Supporting large-scale model integrated computing requires two key features currently lacking in available tools: (1) distributed, simultaneous multi-user access to the models; and (2) model versioning. Our proposed solution is based on storing the models at a relatively fine granularity in XML files on a server under the control of a traditional source code control system. The model builder tool then only needs to implement the client functionality of the version control tool. However, there is one significant technical challenge that needs to be solved. Models are captured as complex interdependent data structures in a model editor. Containment, binary and n-ary relations are kept as a consistent set of data by the model builder. The model builder tool needs to keep track of these interdependences and ensure consistency at all times even when multiple users edit the models

[1]  Amit Misra,et al.  Model-integrated toolset for fault detection, isolation and recovery (FDIR) , 1996, Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems.

[2]  Gabor Karsai,et al.  Composing Domain-Specific Design Environments , 2001, Computer.

[3]  Janos Sztipanovits,et al.  Multi-domain surety modeling and analysis for high assurance systems , 1999, Proceedings ECBS'99. IEEE Conference and Workshop on Engineering of Computer-Based Systems.

[4]  Sandeep Neema,et al.  Modeling methodology for integrated simulation of embedded systems , 2003, TOMC.

[5]  Gabor Karsai,et al.  Model-integrated development of embedded software , 2003, Proc. IEEE.

[6]  Gabor Karsai,et al.  A modeling language and its supporting tools for avionics systems , 2002, Proceedings. The 21st Digital Avionics Systems Conference.

[7]  E. Long,et al.  Increasing Productivity at Saturn , 1998, Computer.

[8]  Douglas C. Schmidt,et al.  The design and performance of a real-time CORBA event service , 1997, OOPSLA '97.