Aspect-Oriented Requirements Modeling and Analysis Methodology for Multiple Product Lines of Distributed Real-Time Automotive Software Systems

2007 ◽  
Author(s):  
Mikio Aoyama ◽  
Atsuko Yoshino
Keyword(s):  
Real Time ◽  
Software Systems ◽  
Product Lines ◽  
Modeling And Analysis ◽  
Automotive Software ◽  
Analysis Methodology ◽  
Requirements Modeling ◽  
Multiple Product

OBJECT ORIENTED DESIGN, MODULAR ANALYSIS, AND FAULT-TOLERANCE OF REAL-TIME CONTROL SOFTWARE SYSTEMS

1996 ◽  
Vol 06 (03) ◽  
pp. 447-476 ◽  
Author(s):  
ANGELO PERKUSICH ◽  
MARIA L.B. PERKUSICH ◽  
SHI-KUO CHANG
Keyword(s):  
Petri Nets ◽  
Real Time ◽  
Software Systems ◽  
Real Time Control ◽  
Object Oriented Design ◽  
Time Control ◽  
Analysis Methodology ◽  
Modular Analysis ◽  
High Level ◽  
Time Systems

When specifying, designing and analyzing complex real-time systems, it is necessary to adopt a modular or compositional methodology. This methodology shall allow the designer the ability to verify local properties of individual modules or components in the system, and also shall allow the verification of the correct behavior of interacting components. The application of Petri nets for the modeling and verification of systems, at specification and design levels are well known. Despite the powerful structuring mechanisms available in the Petri nets theory for the construction of the model of complex systems, the designer is still likely to face the problem of state explosion, when analyzing and verifying large systems. In this work we introduce a modular analysis methodology for a kind of high level Petri nets named G-Nets.

Prediction of aircraft engine emissions using ADS-B flight data

2021 ◽  
pp. 1-25
Author(s):  
A. Filippone ◽  
B. Parkes ◽  
N. Bojdo ◽  
T. Kelly
Keyword(s):  
Real Time ◽  
Water Vapour ◽  
Long Range ◽  
Aircraft Engine ◽  
Software Systems ◽  
Engine Emissions ◽  
Flight Data ◽  
Seasonal Basis ◽  
Emissions Inventories ◽  
Aviation Emissions

ABSTRACT Real-time flight data from the Automatic Dependent Surveillance–Broadcast (ADS-B) has been integrated, through a data interface, with a flight performance computer program to predict aviation emissions at altitude. The ADS-B, along with data from Mode-S, are then used to ‘fly’ selected long-range aircraft models (Airbus A380-841, A330-343 and A350-900) and one turboprop (ATR72). Over 2,500 flight trajectories have been processed to demonstrate the integration between databases and software systems. Emissions are calculated for altitudes greater than 3,000 feet (609m) and exclude landing and take-off cycles. This proof of concept fills a gap in the aviation emissions inventories, since it uses real-time flights and produces estimates at a very granular level. It can be used to analyse emissions of gases such as carbon dioxide ( $\mathrm{CO}_2$ ), carbon monoxide (CO), nitrogen oxides ( $\mathrm{NO}_x$ ) and water vapour on a specific route (city pair), for a specific aircraft, for an entire fleet, or on a seasonal basis. It is shown how $\mathrm{NO}_x$ and water vapour emissions concentrate around tropospheric altitudes only for long-range flights, and that the cruise range is the biggest discriminator in the absolute value of these and other exhaust emissions.

Efficient Safety Analysis of Automotive Software Systems

2009 ◽  
Vol 2 (1) ◽  
pp. 258-270 ◽  
Author(s):  
Mario Trapp ◽  
Soeren Kemmann ◽  
Ralf Kalmar ◽  
Christian Denger
Keyword(s):  
Safety Analysis ◽  
Software Systems ◽  
Automotive Software
Sign in / Sign up

Export Citation Format

Share Document