Formal verification process of the compliance of a multicore AUTOSAR OS

IF 1.7 3区计算机科学 Q3 COMPUTER SCIENCE, SOFTWARE ENGINEERING

Software Quality Journal Pub Date : 2023-05-25 DOI:10.1007/s11219-023-09626-4

Imane Haur, Jean-Luc Béchennec, Olivier H. Roux

引用次数: 0

Abstract Image

查看原文本刊更多论文

多核AUTOSAR操作系统合规性的正式验证过程

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Software Quality Journal 工程技术-计算机：软件工程

CiteScore

4.90

自引率

5.30%

发文量

审稿时长

>12 weeks

期刊介绍： The aims of the Software Quality Journal are: (1) To promote awareness of the crucial role of quality management in the effective construction of the software systems developed, used, and/or maintained by organizations in pursuit of their business objectives. (2) To provide a forum of the exchange of experiences and information on software quality management and the methods, tools and products used to measure and achieve it. (3) To provide a vehicle for the publication of academic papers related to all aspects of software quality. The Journal addresses all aspects of software quality from both a practical and an academic viewpoint. It invites contributions from practitioners and academics, as well as national and international policy and standard making bodies, and sets out to be the definitive international reference source for such information. The Journal will accept research, technique, case study, survey and tutorial submissions that address quality-related issues including, but not limited to: internal and external quality standards, management of quality within organizations, technical aspects of quality, quality aspects for product vendors, software measurement and metrics, software testing and other quality assurance techniques, total quality management and cultural aspects. Other technical issues with regard to software quality, including: data management, formal methods, safety critical applications, and CASE.