Apr 302014
Modeling at Unlimited Scale: Realizing a new Repository for Scalable Modeling with MagicDraw

For the past five years No Magic has been engaged in the research and development of our next generation repository for collaborative development and versioned storage of models. We have adopted a long term perspective in this work, because we anticipate that the next decade will see a significant increase in the scale of models […]

Apr 292014
Scalable Collaborative Solution Leads to Big Opportunities

Have you ever used a modeling tool to build an engineering model collaboratively? If so, you‘ll know that it‘s really easy to augment a model into a huge one. In fact, the huge model depends on multiple libraries or profiles and consists of external parts. What extra do you get? The tool slows down in […]

Apr 282014
Formal Validation of Fault Management Design Solutions

The research was carried out at the Jet Propulsion Laboratory (NASA JPL) under a contract with the National Aeronautics and Space Administration and the European Southern Observatory (ESO). The work presented in this paper describes an approach used to develop SysML modeling patterns to express the behavior of fault protection, test the model’s logic by […]