liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
A Process Algebraic Approach to Resource-Parameterized Timing Analysis of Automotive Software Architectures
University of Penn, PA 19104 USA.
University of Seoul, South Korea.
Korea Adv Institute Science and Technology, South Korea.
Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, Faculty of Science & Engineering.
2016 (English)In: IEEE Transactions on Industrial Informatics, ISSN 1551-3203, E-ISSN 1941-0050, Vol. 12, no 2, 655-671 p.Article in journal (Refereed) PublishedText
Abstract [en]

Modern automotive software components are often first developed by different suppliers and then integrated under limited resources by a manufacturer. The integration of software components under various resource configurations is prone to timing errors because the components are resources independently designed by the supplier and viewed by the manufacturer as black boxes during the integration stage, so that imposing resource constraints/requirements on their behavior is a challenge. This paper introduces an engineering awareness environment for the analysis of automotive systems with respect to two perspectives: 1) time-aware design models that correspond to the supplier perspective; and 2) resource-aware design models imposed by the manufacturer during integration. To this end, first we propose two timed behavioral models, a time-constrained model (TcM) and a resource-constrained model (RcM) that are extended from a functional model (FM). A timing analysis of applications can hence be conducted incrementally by adopting the separation of concerns principle coming from the model-driven architectures (MDAs). Second, given a basic application component description of AUTomotive Open System Architecture with timing properties, we specify how to define the behavior of the basic components as process terms using a process algebra, algebra of communicating shared resources with value passing (ACSR-VP), in order to exploit the description capability of the language for both timing aspects and resource-constrained aspects of a system. As a result, a timed behavioral model of a system can be seamlessly refined by various resource configurations, and both platform-independent and platform-dependent timing properties of real-time systems can be analyzed in a consistent and efficient manner.

Place, publisher, year, edition, pages
IEEE Press, 2016. Vol. 12, no 2, 655-671 p.
Keyword [en]
Automotive software architectures (SAs); AUTomotive Open System Architecture (AUTOSAR); formal specification; process algebra; timing analysis; timing extensions
National Category
Computer and Information Science
URN: urn:nbn:se:liu:diva-127749DOI: 10.1109/TII.2016.2527624ISI: 000373949100020OAI: diva2:927506

Funding Agencies|Ministry of Science, ICT, and Future Planning (MSIP), Korea, under the Information Technology Research Center (ITRC) [IITP-2015-H8501-15-1015]; Basic Science Research Program through the National Research Foundation of Korea (NRF) - Ministry of Education [NRF-2013R1A1A2060586]

Available from: 2016-05-12 Created: 2016-05-12 Last updated: 2016-05-12

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Boudjadar, Abdeldjalil
By organisation
Software and SystemsFaculty of Science & Engineering
In the same journal
IEEE Transactions on Industrial Informatics
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 64 hits
ReferencesLink to record
Permanent link

Direct link