Rule Checking within the Model-Based Development of Safety-Critical Systems and Embedded Automotive Software

机译：基于模型的安全关键系统和嵌入式汽车软件开发中的规则检查

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

Safety and reliability cannot be tested into technical software systems on embedded control units after their development. Preventive actions have to be taken in respect of safety and reliability. An automatic and tool supported check of custom rules, ind

机译：安全性和可靠性在开发之后无法在嵌入式控制单元上的技术软件系统中进行测试。必须在安全性和可靠性方面采取预防措施。自动和工具支持的自定义规则检查

著录项

来源
《Autonomous Decentralized Systems (ISADS 2007), 2007 International Symposium on》|2007年|P.287-294|共8页
会议地点 SedonaCA
作者
Farkas; Tibor; Grund; Daniel;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类
关键词
automotive engineering; embedded systems; knowledge based systems; software engineering; MATLAB; Simulink; Stateflow; automotive software engineering; embedded automotive software; embedded control units; reliability; rule checking; safety-critical systems; technical;

机译：汽车工程；嵌入式系统;基于知识的系统；软件工程; MATLAB; Simulink;状态流；汽车软件工程；嵌入式汽车软件；嵌入式控制单元；可靠性;规则检查；安全关键系统；技术;

相似文献

外文文献
中文文献
专利

1. Systematic Reuse of Safety-Critical Components will usher new age of Embedded Software Development [J] . Joe Wlad Embedded System Engineering . 2006,第6期

机译：安全关键组件的系统重用将迎来嵌入式软件开发的新时代
2. Verifying Protocol Conformance Using Software Model Checking for the Model-Driven Development of Embedded Systems [J] . Moffett, Yann, Dingel, IEEE Transactions on Software Engineering . 2013,第9期

机译：使用软件模型检查来验证协议一致性，以进行嵌入式系统的模型驱动开发
3. Integrating safety analysis into the model-based development toolchain of automotive embedded systems [J] . Biehl Matthias, DeJiu Chen, T?rngren Martin ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2010,第4期

机译：将安全分析集成到汽车嵌入式系统基于模型的开发工具链中
4. Rule Checking within the Model-Based Development of Safety-Critical Systems and Embedded Automotive Software [C] . Farkas Tibor, Grund Daniel International Symposium on Autonomous Decentralized Systems . 2006

机译：规则检查在基于模型的安全关键系统和嵌入式汽车软件的开发中
5. A configurable hardware/software system for design rule checking. [D] . Luo, Zhen. 2001

机译：用于设计规则检查的可配置硬件/软件系统。
6. Performance Evaluation of Attribute-Based Encryption in Automotive Embedded Platform for Secure Software Over-The-Air Update [O] . Michele La Manna, Luigi Treccozzi, Pericle Perazzo, 2021

机译：汽车嵌入式平台基于属性的加密性能评估用于安全软件超空气更新
7. Evaluation of a Model-Based Development Process for Automotive Embedded Systems - Model-Based Development of an Adaptive Cruise Control System [O] . Mitschang Jonas 2009

机译：汽车嵌入式系统基于模型的开发过程的评估-自适应巡航控制系统的基于模型的开发

Rule Checking within the Model-Based Development of Safety-Critical Systems and Embedded Automotive Software

摘要

著录项

相似文献

相关主题

期刊订阅