http://www.mdd4dres.info/ Sat, 19 May 2012 13:50:35 +0200 FeedCreator 1.7.2-ppt DokuWiki http://www.mdd4dres.info/lib/images/favicon.ico http://www.mdd4dres.info/ http://www.mdd4dres.info/lectures/aulagnier?rev=1240321787 lecturer: Denis Aulagnier Thanks to the increased performance of digital electronics, an entire embedded system can now be integrated on a single chip: i.e. a System On Chip (SOC) or a System On Programmable Components (SOPC) for the reconfigurable components. The development of these components covers activities such as the analysis of the system requirements, the definition of the system architecture, the development of the real-time software and the hardware logic up to the fine analysis of … Tue, 21 Apr 2009 15:49:47 +0200 http://www.mdd4dres.info/lectures/baudry?rev=1240321811 lecturer: Dr. Benoît Baudry Model transformation is a core mechanism for model-driven engineering (MDE). Transformations are used to automate a large number of tedious, error-prone, and recurrent tasks that occur during software development. For example, transformations can be used to refine a design model, refactor a model by changing its structure, reverse engineer code to obtain an abstract model, or generate code from design models. These software development tasks are critical and thus th… Tue, 21 Apr 2009 15:50:11 +0200 http://www.mdd4dres.info/lectures/bernard?rev=1223642892 lecturer: Yves Bernard Thank to its positive impact on the problems resulting from the specifications ambiguity, the model-based approach provides a convenient means to manage the increasing complexity of the of embedded systems. In this talk, we will first present our vision about the utilisation of models in the development process and on the way it can speed up maturity and reduce the development cycles. Nevertheless, there are several issues to solve before applying this vision to the reali… Fri, 10 Oct 2008 14:48:12 +0200 http://www.mdd4dres.info/lectures/clouard?rev=1223642818 lecturer: Alain Clouard Fri, 10 Oct 2008 14:46:58 +0200 http://www.mdd4dres.info/lectures/feiler?rev=1223643569 lecturer: Peter H. Feiler Safety-critical systems are systems whose failure or malfunction may result in injury or death, or damage or loss of equipment, or damage to the environment. These safety risks are managed by a range of safety analyses ranging from hazard analysis to fault tree analysis. As safety-critical system have become increasingly software intensive the embedded software system has become an increasing risk factor. For this reason the SAE Architecture Analysis & Design Language… Fri, 10 Oct 2008 14:59:29 +0200 http://www.mdd4dres.info/lectures/france?rev=1240321761 lecturer: Robert France The term Model Driven Engineering (MDE) is typically used to describe software development approaches in which abstract models of complex software systems are created and systematically transformed to concrete implementations. In this talk I will discuss some of the major challenges that must be tackled in order to realize the MDE vision of software development. I argue that full realizations of the MDE vision may not be possible in the near to medium-term primarily bec… Tue, 21 Apr 2009 15:49:21 +0200 http://www.mdd4dres.info/lectures/gaston?rev=1223895067 lecturer: Christophe Gaston We present an approach to test whether a system conforms to its specification given in terms of an Input/Output Symbolic Transition System (IOSTS). IOSTSs are automata based specifications using data types to enrich transitions with data-based messages and guards depending on state variables. We use symbolic execution techniques both to extract IOSTS behaviours to be tested in the role of test purposes and to ground an algorithm of test case generation. Thus, cont… Mon, 13 Oct 2008 12:51:07 +0200 http://www.mdd4dres.info/lectures/gerard?rev=1234955971 lecturers: Sébastien Gérard and Huascar Espinoza Development of increasingly more sophisticated dependable real-time and embedded systems requires new paradigms since contemporary code-centric approaches are reaching their limits. Experience has shown that model-based engineering, using domain-specific modeling languages, is an approach that can overcome many of these limitations. This talk identifies the requirements for a modeling language to be used in the real-time and embedded systems do… Wed, 18 Feb 2009 12:19:31 +0200 http://www.mdd4dres.info/lectures/kuntz?rev=1225789897 lecturer: Stefan Kuntz AUTOSAR (AUTomotive Open System ARchitecture) is an open and standardized automotive software architecture, jointly developed by automobile manufacturers, suppliers and tool developers. This standard serves as a platform upon which future vehicle applications will be implemented and lowers the current barriers between functional domains, too. It will, therefore, be possible to map functions and functional networks to different control nodes in the system, almost independe… Tue, 04 Nov 2008 10:11:37 +0200 http://www.mdd4dres.info/lectures/mens?rev=1232544014 lecturer: Tom Mens Model-driven engineering (MDE) is an approach to software development where the primary focus is on models, as opposed to source code. The use of models opens up new possibilities for creating, analyzing, manipulating and formally reasoning about systems at a high level of abstraction. To reap all the benefits of MDE, it is essential to install a mechanism of model transformation, that enables a wide range of different automated activities such as translation of models (expr… Wed, 21 Jan 2009 14:20:14 +0200 http://www.mdd4dres.info/lectures/muller?rev=1224256243 lecturer: Pierre-Alain Müller Specifying domain specific languages includes the description of the concepts manipulated by the language (the abstract syntax), the rendering of the language in textual or graphical format (the concrete syntax) and the expression of the semantic domain. Fri, 17 Oct 2008 17:10:43 +0200 http://www.mdd4dres.info/lectures/petriu?rev=1223643473 lecturer: Dorina C. Petriu The verification of non-functional requirements of software models is possible by extending first the UML models with additional information specific to the property to be evaluated, and then by transforming such an annotated UML model into a formal model that can be analyzed with known analysis techniques and tools. Examples of formal models used for performance analysis are queueing networks, Petri nets, stochastic process algebras, etc. The “UML Profile for Mode… Fri, 10 Oct 2008 14:57:53 +0200 http://www.mdd4dres.info/lectures/raistrick?rev=1223664420 lecturer: Chris Raistrick The Unified Modeling Language, along with the principles of Model-Driven Architecture, provide an industry standard, coherent framework within which to specify the behaviour of a system. However, translating such models into performance-compliant target code by hand can be time-consuming and error-prone. Further, keeping the model and the code in step thereafter usually borders on impossible, with the result that the potentially reusable platform-independent models fal… Fri, 10 Oct 2008 20:47:00 +0200 http://www.mdd4dres.info/lectures/rouquette?rev=1223913584 lecturer: Nicolas F. Rouquette The Executable UML specification became an OMG Technology Recommendation in September 2008 and finalization is expected for September 2009. Before discussing practical applications of this specification, this talk will introduce the two key objectives of this specification: Mon, 13 Oct 2008 17:59:44 +0200 http://www.mdd4dres.info/lectures/sifakis?rev=1224241735 lecturer: Joseph Sifakis We present a framework for the component-based construction of real-time systems. The framework is based on the BIP (Behaviour, Interaction, Priority)semantic model, characterized by a layered representation of components. Compound components are obtained as the composition of atomic components specified by their behaviour and interface, by using connectors and dynamic priorities. Connectors describe structured interactions between atomic components, in terms of two bas… Fri, 17 Oct 2008 13:08:55 +0200 http://www.mdd4dres.info/lectures/start?rev=1240923926 school program the slides Tue, 28 Apr 2009 15:05:26 +0200 http://www.mdd4dres.info/lectures/thiele?rev=1223643922 lecturer: Lothar Thiele The talk describes an environment to map applications to Multiprocessor Platforms. The corresponding platform enables the specification, simulation, performance evaluation and mapping of distributed algorithms. Major characteristics are scalability and multi-resolution methods for validation and estimation that combine simulation-based and analytic approaches. Fri, 10 Oct 2008 15:05:22 +0200