Reliable software development methodology for safety related applications: From simulation to reliable source code

2009 XXII International Symposium on Information, Communication and Automation Technologies Pub Date : 2009-12-04 DOI:10.1109/ICAT.2009.5348447

M. Schwarz, H. Sheng, B. Batchuluun, Oleksandr Sheleh, W. Chaaban, J. Börcsök

{"title":"Reliable software development methodology for safety related applications: From simulation to reliable source code","authors":"M. Schwarz, H. Sheng, B. Batchuluun, Oleksandr Sheleh, W. Chaaban, J. Börcsök","doi":"10.1109/ICAT.2009.5348447","DOIUrl":null,"url":null,"abstract":"Reliable software development and methods to validate programming code and source code gain nowadays more importance and will be even more significant in the future. It is not enough that the developer has understood the task, but it has to be validated that from simulation to the actual desired hardware the developed code is functioning correctly. This research and development area increases rapidly and tools are required and demanded from researchers and industries. Our developed tools use Matlabreg / Simulinkreg as a platform to simulate and analyse the functionality of the model and then to verify the functionality of the created meta-programme, which is in this case converted to C. Finally, the functionality has to be verified of the binary source-code downloaded onto the actual operating hardware. This paper describes the necessary steps and tools which have been developed and uses a simple example to illustrate different stages and methods necessary to validate the functionality of the developed programme.","PeriodicalId":211842,"journal":{"name":"2009 XXII International Symposium on Information, Communication and Automation Technologies","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2009-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2009 XXII International Symposium on Information, Communication and Automation Technologies","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICAT.2009.5348447","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 4

Abstract

Reliable software development and methods to validate programming code and source code gain nowadays more importance and will be even more significant in the future. It is not enough that the developer has understood the task, but it has to be validated that from simulation to the actual desired hardware the developed code is functioning correctly. This research and development area increases rapidly and tools are required and demanded from researchers and industries. Our developed tools use Matlabreg / Simulinkreg as a platform to simulate and analyse the functionality of the model and then to verify the functionality of the created meta-programme, which is in this case converted to C. Finally, the functionality has to be verified of the binary source-code downloaded onto the actual operating hardware. This paper describes the necessary steps and tools which have been developed and uses a simple example to illustrate different stages and methods necessary to validate the functionality of the developed programme.

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

安全相关应用的可靠软件开发方法:从模拟到可靠的源代码

可靠的软件开发和验证程序代码和源代码的方法现在变得更加重要，并且在未来将更加重要。开发人员理解任务是不够的，但必须验证从模拟到实际所需硬件所开发的代码是否正确运行。该研究和开发领域迅速增加，研究人员和行业需要工具。我们开发的工具使用Matlabreg / Simulinkreg作为平台来模拟和分析模型的功能，然后验证所创建的元程序的功能，在这种情况下转换为c语言。最后，必须验证下载到实际操作硬件上的二进制源代码的功能。本文描述了已开发的必要步骤和工具，并使用一个简单的示例来说明验证已开发程序的功能所需的不同阶段和方法。

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

求助全文

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

来源期刊