<span class="Apple–style–span" style="border–collapse: separate; color: rgb(0, 0, 0); font–family: ′Times New Roman′; font–style: normal; font–variant: normal; font–weight: normal; letter–spacing: normal; line–height: normal; orphans: 2; text–indent: 0px; text–transform: none; white–space: normal; widows: 2; word–spacing: 0px; font–size: medium;"><pre><br class="Apple–interchange–newline"><br>Model–Driven Engineering, and especially model–based development<br>processes have always been the focal point of the "Neptune Days". The<br>paradigm upon which they are based no longer considers the source code<br>as a central element of software; it is rather considered as an element<br>derived from model units. More generally, the source code becomes an<br>element derived from the fusion or interweaving of model units.<br>This approach becomes increasingly more crucial in the context of<br>software and hardware architectures driven by standards such as MDA<br>(Model–Driven Architecture), proposed by the standards authority OMG,<br>Microsoft′s Software Factories or IBM′s proposal of EMF (Eclipse<br>Modelling Software) tools. Such systems of architecture naturally find<br>their place in model–based development processes where, at each<br>modelling level, they ensure that the models exhibit the required<br>properties.<br>The model–driven approach places models at the centre of concerns for<br>analysts/designers. Consequently, implementing and validating models<br>becomes the main focus, in particular in the case of embedded systems.<br>For this reason, the seventh edition of the Neptune Days is focused on<br>modelling embedded systems and on their validation using formal<br>methods. Modelling embedded systems usually requires using special<br>concepts absent from languages such as UML, thereby introducing a need<br>for utilising special languages such as SysML. Formal methods enable<br>designers to prove their modelling; proofs are obtained by transforming<br>models into rigorous formalisms, usually based on mathematics, and then<br>applying a prover that performs demonstrations, typically in<br>interactive mode.<br>To date, research in this area has been carried out in a context of a<br>collaboration between academics and industry but mainly for critical<br>applications, for instance in aeronautics and space. The resulting<br>technologies have proven to enable tight control of design processes.<br>One appreciable effect has been to reduce the overall time required for<br>the software design, debugging, production, and maintenance stages<br>while, at the same time, guaranteeing the required level of quality.<br>The objective of the 7th "Neptune Days" is therefore to present an<br>organised review of research regarding MDE and embedded systems. The<br>first day (May 18) will be devoted to the use of formal methods in<br>validating designs. The second day (May 19) will be dedicated to the<br>use of SysML in MDE, and also to projects allowing one to validate and<br>prove systems based on the MDE approach.</pre></span>
Abbrevation
NEPTUNE
City
Toulouse
Country
France
Start Date
End Date
Abstract