计算机科学
信息物理系统
模块化设计
任务(项目管理)
领域(数学分析)
过程(计算)
软件工程
软件
临界性
汽车工业
软件产品线
系统工程
可靠性工程
软件开发
工程类
程序设计语言
数学
操作系统
核物理学
航空航天工程
数学分析
物理
作者
Houssem Guissouma,Janis Kröger,Sebastian Vander Maelen,Eric Sax
标识
DOI:10.1109/isse51541.2021.9582468
摘要
Due to the increasing electronic and software portions in Cyber Physical Systems (CPSs), such as highly automated cars, and their safety-criticality, thorough verification and validation activities are an essential part of their development process. Meanwhile, software life cycles are getting shorter, and Over The Air updates are becoming state of the art, even in safetycritical domains. However, validating each software update for a wide range of system variants and versions is a challenging task, which requires efficient verification methods to reduce time, effort and costs. Contract-based Design (CBD) is a design paradigm to handle the complexity of safety-critical CPSs. Though, due to the multitude of maintained variants and versions, using CBD for continuous products improvement in form of updates may rapidly become challenging. In this paper, we integrate CBD into a product line development approach by mapping variant and fine-grained contracts to reusable components. Applying our approach to a case study from the automotive domain showed a significant reduction of the effort for contractifying the systems. Besides, it offers a basis for conducting incremental analysis and verification of modular updates.
科研通智能强力驱动
Strongly Powered by AbleSci AI