Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study

被引：0
|
作者：
Klobedanz, Kay [1 ]
Kuznik, Christoph [1 ]
Thuy, Andreas [1 ]
Mueller, Wolfgang [1 ]
机构：
[1] Univ Paderborn, C LAB, Fac Elect Engn Comp Sci & Math, D-33102 Paderborn, Germany
来源：
2010 DESIGN, AUTOMATION & TEST IN EUROPE (DATE 2010) | 2010年
关键词：
TIME; SYSTEMS;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Safety-critical automotive systems must ful ll hard real-time constraints for reliability and safety. This paper presents a case study for the application of an AUTOSAR-based language for timing modeling and analysis. We present and apply the Timing Augmented Description Language (TADL) and demonstrate a methodology for the development of a speed-adaptive steer-by-wire system. We examine the impact of TADL and the methodology on the development process and the suitability and interoperability of the applied tools with respect to the AUTOSAR-based tool chain in the context of our case study.
引用
收藏
页码：642 / 645
页数：4
相关论文
共 50 条
  • [21] Development and case study of trend analysis software based on FACT-Graph
    Saga, Ryosuke
    Tsuji, Hiroshi
    Miyamoto, Takao
    Tabata, Kuniaki
    ARTIFICIAL LIFE AND ROBOTICS, 2010, 15 (02) : 234 - 238
  • [22] Self-healing based software architecture modeling and analysis through a case study
    Wang, JW
    Guo, CH
    Liu, FY
    2005 IEEE NETWORKING, SENSING AND CONTROL PROCEEDINGS, 2005, : 873 - 877
  • [23] Development of Energy Management Software Module for Fuel Cell Vehicle Based on AUTOSAR Methodology
    Shan, Zhongwei
    Song, Ke
    Zhang, Tong
    2018 IEEE VEHICLE POWER AND PROPULSION CONFERENCE (VPPC), 2018,
  • [24] Research and Development of Underlying Computer Driver Software Based on UML Technique and AUTOSAR Standard
    Jiang, Junqing
    Xiong, Ying
    INTERNATIONAL CONFERENCE ON SOCIAL SCIENCE, MANAGEMENT AND ECONOMICS (SSME 2015), 2015, : 618 - 622
  • [25] Modeling software timing requirements: an environment based approach
    Chen, Xiao-Hong
    Liu, Jing
    Jisuanji Xuebao/Chinese Journal of Computers, 2013, 36 (01): : 88 - 103
  • [26] A Timing Verification Framework for AUTOSAR OS Component Development based on Real-Time Maude
    Zhu, Longfei
    Liu, Peng
    Shi, Jianqi
    Wang, Zheng
    Zhu, Huibiao
    2013 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE), 2013, : 29 - 36
  • [27] Case Study on Formal Modeling and Analysis of Airborne Software Requirements
    Hu J.
    Lü J.-R.
    Wang L.-S.
    Kang J.-X.
    Wang H.
    Gao Z.-J.
    Ruan Jian Xue Bao/Journal of Software, 2022, 33 (05): : 1652 - 1673
  • [28] Addressing the Need for Strict Meta-modeling in Practice - A Case Study of AUTOSAR
    Durisic, Darko
    Staron, Miroslaw
    Tichy, Matthias
    Hansson, Jorgen
    PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD 2016), 2016, : 317 - 322
  • [29] Modeling and practice on component based software design - a case study
    Feng, Wenying
    O'Keefe, Peter
    Man, Shushuang
    SNPD 2007: EIGHTH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING, AND PARALLEL/DISTRIBUTED COMPUTING, VOL 1, PROCEEDINGS, 2007, : 676 - +
  • [30] Model-Based Development of AUTOSAR-Compliant Applications: Exterior Lights Module Case Study
    Rai, Devendra
    Jestin, T. K.
    Vitkin, Lev
    SAE INTERNATIONAL JOURNAL OF PASSENGER CARS-ELECTRONIC AND ELECTRICAL SYSTEMS, 2009, 1 (01): : 84 - 91
12345