Fully automatic worst-case execution time analysis for MATLAB/Simulink models

“This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder." “Copyright IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.”In today's technical world (e.g., in the automotive industry), more and more purely mechanical components get replaced by electro-mechanical ones. Thus the size and complexity of embedded systems steadily increases. To cope with this development, comfortable software engineering tools are being developed that allow a more functionality-oriented development of applications. The paper demonstrates how worst-case execution time (WCET) analysis is integrated into such a high-level application design and simulation tool MATLAB/Simulink-thus providing a higher-level interface to WCET analysis. The MATLAB/Simulink extensions compute and display worst-case timing data for all blocks of a MATLAB/Simulink simulation, which gives the developer of an application valuable feedback about the correct timing of the application being developed. The solution facilitates a fully-automated WCET analysis, i.e., in contrast to existing approaches the programmer does not have to provide path information

Ökonomische Aspekte einer großflächigen Bewirtschaftung nach den Prinzipien des Ökologischen Landbaus dargestellt am Beispiel der Region Mostviertel-Eisenwurzen (Ö)

In der Diskussion um die Vorteilhaftigkeit des Ökologischen Landbaus wird häufig das Argument gebraucht, dass der Biolandbau gegenüber der konventionellen Landwirtschaft betriebswirtschaftliche Vorteile aufweist und darüber hinaus deutlich geringere externe Kosten verursacht, so dass auch aus volkswirtschaftlicher Sicht Vorteile bestehen. Im Zuge des zugrunde liegenden Forschungsprojektes wird daher geprüft, inwieweit sich eine Umstellung auf den Biolandbau sowohl auf ausgewählte betriebswirtschaftliche Parameter (Deckungsbeitrag, Beschäftigung), als auch auf ökologische Kenngrößen (Treibhausgasemissionen, Wasserqualität) und damit auf die externen Kosten auswirkt. In diesem Beitrag ist dargestellt, zu welchen Veränderungen eine Umstellung in der Region Mostviertel-Eisenwurzen (Ö) auf die Höhe des Deckungsbeitrags bei Milchviehbetrieben führt und inwieweit die externen Kosten infolge der Treibhausgasemissionen gesenkt werden können

A model study of the January 2006 low total ozone episode over Western Europe and comparison with ozone sonde data

Total column and stratospheric ozone levels at mid-latitudes often reveal strong fluctuations on time scales of days caused by dynamic processes. In some cases the total ozone column is distinctly reduced below climatological values. Here, a very low total ozone episode around 19 January 2006 over Western Europe is investigated when the observed total ozone column over Uccle (BE), measured by a Brewer spectrophotometer, reached a daily minimum of 200 DU, the lowest recorded value at this station. In order to investigate the mechanisms leading to the ozone minimum, the present study used data from (i) six ozone sounding stations in Western and Middle Europe, (ii) ECMWF meteorological fields, (iii) a simulation of the CLaMS model for January 2006, (iv) a multi-year run of the chemistry transport model KASIMA, and (v) a six-year run of the climate chemistry model ECHAM5/MESSy1. The ozone decrease at different heights was quantified and it was determined to what extent different transport mechanisms, and instantaneous, in-situ chemical ozone depletion contributed to the event. All three models reproduced the evolution and formation of the event. The ozone column decrease between Theta=300 and 750K was strongest at Uccle (BE) and De Bilt (NL) with 108 and 103 DU, respectively, and somewhat lower at Hohenpeissenberg (DE), Payerne (CH), Prague (CZ) and Lerwick (UK) with 85, 84, 83 and 74 DU, respectively. This analysis demonstrated that mainly the displacement of the ozone depleted polar vortex contributed to the ozone column decrease. Advection of ozone-poor low-latitude air masses was important in the UTLS region. The vertical displacement of isentropes connected with divergence of air out of the column was found to be of minor importance compared to the horizontal transport processes. Severe low total ozone episodes seem to occur when the mentioned mechanisms are superimposed. Instantaneous, in-situ chemical ozone depletion accounted for only 2+/-1% of the overall total ozone decrease at the sounding stations

Simulation of polar stratospheric clouds in the chemistry-climate-model EMAC via the submodel PSC

The submodel PSC of the ECHAM5/MESSy Atmospheric Chemistry model (EMAC) has been developed to simulate the main types of polar stratospheric clouds (PSC). The parameterisation of the supercooled ternary solutions (STS, type 1b PSC) in the submodel is based on Carslaw et al. (1995b), the thermodynamic approach to simulate ice particles (type 2 PSC) on Marti and Mauersberger (1993). For the formation of nitric acid trihydrate (NAT) particles (type 1a PSC) two different parameterisations exist. The first is based on an instantaneous thermodynamic approach from Hanson and Mauersberger (1988), the second is new implemented and considers the growth of the NAT particles with the aid of a surface growth factor based on Carslaw et al. (2002). It is possible to choose one of this NAT parameterisation in the submodel. This publication explains the background of the submodel PSC and the use of the submodel with the goal of simulating realistic PSC in EMAC

Fast, Interactive Worst-Case Execution Time Analysis With Back-Annotation

Abstract—For hard real-time systems, static code analysis is needed to derive a safe bound on the worst-case execution time (WCET). Virtually all prior work has focused on the accuracy of WCET analysis without regard to the speed of analysis. The resulting algorithms are often too slow to be integrated into the development cycle, requiring WCET analysis to be postponed until a final verification phase. In this paper we propose interactive WCET analysis as a new method to provide near-instantaneous WCET feedback to the developer during software programming. We show that interactive WCET analysis is feasible using tree-based WCET calculation. The feedback is realized with a plugin for the Java editor jEdit, where the WCET values are back-annotated to the Java source at the statement level. Comparison of this treebased approach with the implicit path enumeration technique (IPET) shows that tree-based analysis scales better with respect to program size and gives similar WCET values. Index Terms—Real time systems, performance analysis, software performance, software reliability, software algorithms, safety I