Proceedings of the International Conference on Embedded Software Companion最新文献

筛选

英文中文

Physics-based software analysis for safety-critical embedded applications: work-in-progress 安全关键嵌入式应用的基于物理的软件分析:正在进行的工作

Proceedings of the International Conference on Embedded Software Companion Pub Date : 2019-10-13 DOI: 10.1145/3349568.3351550

Philipp Göttlich, H. Reuss

{"title":"Physics-based software analysis for safety-critical embedded applications: work-in-progress","authors":"Philipp Göttlich, H. Reuss","doi":"10.1145/3349568.3351550","DOIUrl":"https://doi.org/10.1145/3349568.3351550","url":null,"abstract":"Physics-based software systems are a new trend in automotive feature and control implementation. They are used for modern applications in the context of automated driving and ADAS. Implementing physical models on critical embedded targets (for example electronic control systems) causes many safety related challenges, as they are far more complex than ordinary control algorithms. The code needs to be secured appropriately. This paper proposes a new approach to include physical properties in the V&V (verification & validation) and testing process in order to analyze functional code behavior of physical systems on targets automatically. For this, physical properties are extracted from the physics-based models, compared with databases and defined as constraints in order to analyze discretizations and calculations of the code. The mass conservation law for example is very beneficial for evaluating different discretization methods of model code automatically. This way, an evaluation of the correct behavior is faster, more efficient and safety and development time of physics-based embedded application code is improved. Our approach proved to be useful in finding physics-related errors in physics-based embedded systems automatically. The generated physical constraints can be used for test data generation.","PeriodicalId":233835,"journal":{"name":"Proceedings of the International Conference on Embedded Software Companion","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122739852","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Proceedings of the International Conference on Embedded Software Companion 嵌入式软件伴侣国际会议论文集

Proceedings of the International Conference on Embedded Software Companion Pub Date : 1900-01-01 DOI: 10.1145/3349568

引用次数: 0

首页上一页