A Great Teacher [Willie Morris]

Although most of his friends think of Willie Morris as a successful writer and creative editor, to me he was a great teacher. His journalism classes at The University of Mississippi were not devoted to details of how to write. Rather he read examples of good writing and explained to students why the writing was good. He read samples of writing by students in the class, and his students improved by applying the techniques to their own writing. In his classroom on the Oxford, Miss., campus, Willie also demonstrated his great ability as an editor. He knew a good story, and he knew whom to assign to each story. So he brought out the best writing in each student. Many of his Ole Miss students have become outstanding writers and reporters. He knew how he wanted each piece written, and he worked with each writer to craft each article. I was grateful for the attention Willie gave our students in advanced classes. I was the chair of the Department of Journalism at The University of Mississippi, and Willie’s teaching brought a measure of excellence to our program that was uncommon on a typical university campus. ..

From UML to Petri Nets for non functional Property Verification

Real-time embedded architectures consist of software and hardware parts. Meeting non-functional constraints (e.g., real-time constraints) greatly depends on the mappings from the system functionalities to software and hardware components. Thus, there is a strong demand for precise architecture and allocation modeling, amenable to performance analysis. The paper proposes a model-driven approach for the assessment of the quality of allocations of the system functionalities to the architecture. We consider two technical domains: the UML domain for the definition of the model elements, and a non functional property analysis domain, external to UML, used for formal verification. This paper focuses on 1) the specification of expected behavior by UML activities, specialized to support the synchronous paradigm, 2) the definition of an analysis model for temporal properties: the Modular and Hierarchical Time Petri Nets, 3) the transformation from the specification model to the analysis model. 1

A Timing Model for Specifying Multi Clock Automotive Systems: The Timing Augmented Description Language V2

Precise timing constraint modeling and analysis is a key point for the correct development of automotive electronics. EAST-ADL and AUTOSAR has been adopted as standards in automotive industry. These standards have recently adopted TADL (Time Augmented Description Language), a timing model for expressing timing constraints. Its current use highlighted different issues, mainly concerning the integration of parameterized multi rate and multi-clock systems. This paper presents new extensions, aligned on AUTOSAR and EAST-ADL, to solve these issues: a support for symbolic timing expression including multi time base description and complex timing constraints. These extensions are applicable at different abstraction levels during design and enable precise modeling of the multi clock characteristics of distributed systems together with parameterized timing expressions. This work has been conducted in the ITEA TIMMO-2-USE project

Tool Support for the Analysis of TADL2 Timing Constraints using TimeSquare

Modeling and analysis of non-functional properties are central concerns in distributed real-time embedded systems. In automotive domain, EAST-ADL is one of the main architectural modeling approaches for real-time embedded systems. In our previous work we introduced the Timing Augmented Description Language V2 (TADL2), which is the new release of the time model for EAST-ADL. It provides new modeling capabilities such as explicit notion of timebase and symbolic timing expressions. In this paper we propose an approach to simulate and analyze TADL2 timing constraints. The formal semantics of TADL2 is given by an exogenous model transformation in QVTo to the Clock Constraint Specification Language (CCSL), a formal language that implements the MARTE Time Model. With this transformation, the analysis of TADL2 constraints become possible through TIMESQUARE framework dedicated to the analysis of CCSL specifications. The approach is illustrated on the Brake-By-Wire example

Modeling a BSG-E automotive system with the Timing augmented description language

International audienceModeling and analysis of time is a key issue for the correct development of automotive distributed embedded system. The paper presents the new extensions of the Time Augmented Description Language, applicable at the different abstraction levels of an EAST-ADL/AUTOSAR design, which enable a precise modeling of the multi clock characteristics of distributed systems together with parameterized timing expressions. In this paper, we highlight some critical issues for high-level modeling of time with the Delphi application of a Box Servitude Generic - External (BSG-E). This industrial example illustrates timing constraints coming from both hardware and software parts of the syste