Cost-effective development of safety-critical embedded software

被引:0
|
作者
机构
来源
Automotive Industries AI | 2007年 / 187卷 / 04期
关键词
Computer supported cooperative work - Cost effectiveness - Embedded systems - Safety factor;
D O I
暂无
中图分类号
学科分类号
摘要
ARTiSAN Software has introduced ARTiSAN Studio software with an aim to detect substantial problems far earlier in the development cycle, saving costs, and improving predictability. ARTiSAN Software Tools provides products and services to improve the definition and design of embedded systems and software. ARTiSAN has substantially enhanced and automated standard modeling techniques in its ARTiSAN Studio integrated suite of UML/SysML collaborative modeling tools for requirements analysis, specification, design, and development of complex, safety-critical systems, and software engineering to specifically target embedded systems. ARTiSAN enables an incremental adoption of modeling in three phases that include capture of the system and software design in a shared, consistent format (model) instead of ad hoc drawing tools, automation of the models to leverage what has been captured, and integration of the various areas of automation into a coherent development process.
引用
收藏
相关论文
共 50 条
  • [1] Optimized Selection of Reliable and Cost-Effective Safety-Critical System Architectures
    Nuzzo, Pierluigi
    Bajaj, Nikunj
    Masin, Michael
    Kirov, Dmitrii
    Passerone, Roberto
    Sangiovanni-Vincentelli, Alberto L.
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2020, 39 (10) : 2109 - 2123
  • [3] Quality first - Measuring a safety-critical embedded software development process
    Kesseler, E
    INTERNATIONAL CONFERENCE ON PRODUCT FOCUSED SOFTWARE PROCESS IMPROVEMENT, 1999, 195 : 300 - 320
  • [4] Software tools for safety-critical software development
    Alan Wassyng
    Mark Lawford
    International Journal on Software Tools for Technology Transfer, 2006, 8 (4-5) : 337 - 354
  • [5] Software Qualification Approach for Safety-Critical Software of the Embedded System
    Kim, Jangyeol
    Kim, Soongohn
    COMPUTER APPLICATIONS FOR COMMUNICATION, NETWORKING, AND DIGITAL CONTENTS, 2012, 350 : 175 - +
  • [6] On the formal development of safety-critical software
    Galloway, Andy
    Iwu, Frantz
    McDermid, John
    Toyn, Ian
    VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 362 - 373
  • [7] Licensing reliable embedded software for safety-critical applications
    Saglietti, F
    REAL-TIME SYSTEMS, 2004, 28 (2-3) : 217 - 236
  • [8] Licensing Reliable Embedded Software for Safety-Critical Applications
    Francesca Saglietti
    Real-Time Systems, 2004, 28 : 217 - 236
  • [9] A Bridge from System to Software Development for Safety-Critical Automotive Embedded Systems
    Mader, Roland
    Griessnig, Gerhard
    Armengaud, Eric
    Leitner, Andrea
    Kreiner, Christian
    Bourrouilh, Quentin
    Steger, Christian
    Weiss, Reinhold
    2012 38TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA), 2012, : 75 - 79
  • [10] Testing of Safety-Critical Software Embedded in an Artificial Heart
    Cha, Sungdeok
    Jeong, Sehun
    Yoo, Junbeom
    Kim, Young-Gab
    ADVANCES IN SYSTEMS SAFETY, 2011, : 143 - +