PRIMORIS      Contacts      FAQs      INSTICC Portal
 

Special Sessions

Special sessions are very small and specialized events to be held during the conference as a set of oral and poster presentations that are highly specialized in some particular theme or consisting of the works of some particular international project. The goal of special sessions (minimum 4 papers; maximum 9) is to provide a focused discussion on innovative topics. All accepted papers will be published in a special section of the conference proceedings book, under an ISBN reference, and on CD-ROM support. All papers presented at the conference venue will be available at the SCITEPRESS Digital Library. SCITEPRESS is a member of CrossRef and every paper is given a DOI (Digital Object Identifier). The proceedings are submitted for indexation by Thomson Reuters Conference Proceedings Citation Index (ISI), INSPEC, DBLP, EI (Elsevier Engineering Village Index) and Scopus.


SPECIAL SESSIONS LIST

MBAT 2014Special Session on Model-based Analysis and Testing of Embedded Systems
Chair(s): Dejan Nickovic and Willibald Krenn

MDSE 2014Special Session on Model-Driven Service Engineering: New Paradigms for Services Development in the Manufacturing Domain
Chair(s): Carlos Agostinho, Ricardo Jardim-Gonçalves and Guy Doumeingts

Special Session on Model-based Analysis and Testing of Embedded Systems - MBAT 2014



Co-chairs

Dejan Nickovic
Austrian Institute of Technology
Austria
 
Willibald Krenn
Austrian Institute of Technology
Austria
 
Scope

The special session on model-based analysis and testing of embedded systems is a unique opportunity to present and share the MBAT vision to the wider community, including both scientific audience and the practitioners. In the special session, we will provide a comprehensive overview of the results achieved within the project and demonstrate how model-based testing can be combined with static analysis methods in order to improve current state-of-the-practice V&V flows. We intend to combine presentations on scientific achievements and practical application developments in building this new V&V methodology. In addition, we plan to show how this combined testing and analysis methodology is applied to concrete use cases from the automotive, avionics and railways application domains.


Special Session on Model-Driven Service Engineering: New Paradigms for Services Development in the Manufacturing Domain - MDSE 2014



Co-chairs

Carlos Agostinho
Universidade Nova de Lisboa, UNINOVA
Portugal
 
Ricardo Jardim-Gonçalves
Universidade Nova de Lisboa, UNINOVA
Portugal
 
Guy Doumeingts
INTEROP Vlab
France
 
Scope

Based on systems engineering principles, modeling is seen as a central activity for the development and life cycle of a product, system, and more recently product-service systems (PSS). Hence, supporting the servitization of manufacturing, modeling and interoperability are becoming of utmost importance to ensure coherence among conceptual design phases at organizational levels down to technology development. To address this issue, the approach followed along the MSEE project (www.msee-ip.eu/) applies MDA/MDI principles to model the service product, the service system, and to guide the transformation from business requirements into detailed specifications of components that must be implemented to support the servitization process. The goal of this session is to present that and other different approaches, discussing advances on MDSE such as architectures, tools, etc., able to support manufacturing servitization.





footer