Our Innovative Solutions Department has won another accolade: the joint publication of our colleague, Zoltán Theisz, and Ericsson has won “Best Paper Award” at the MOPAS 2011 Conference.

The International Academy, Research, and Industry Association (IARIA) - which includes scientists, researchers, and industry representatives from around the world - promotes several scientific conferences and publications. Their Second International Conference on Models and Ontology-based Design of Protocols (Architectures and Services) was held between April 17 and 22 in Budapest. The above mentioned paper published at this event was titled “Formal Logic Based Configuration Modeling and Verification for Dynamic Component Systems”.

The novelty of the paper is that it extends the metamodeling methodology-based development process - which was already introduced for dynamic component systems - with a formal verification phase, during which it becomes possible to examine the accepted or denied state of various potential configurations of a system in design. The genuineness of the methodology is that the semantics of the metamodeling elements in the component system can be expressed with formal logic formulas, which can be entered into Alloy relatively easy, and thus, they can also be verified in the Alloy Analyzer. Although the methodology is universal, the natural state-explosion present in model verifications limits this method to smaller examples. Therefore, for concrete problems “natural engineering abstraction” is still necessary, but hopefully this method can be utilized in some of the feasibility studies of embedded system done by our Innovative Solutions Department.

The entire paper can be read here.