A New approach to Detect Safety Violations in UML Statechart Models

Prashanth C.M.; K. Chandrashekar Shet

首页> 外文期刊>International journal of computer science and network security >A New approach to Detect Safety Violations in UML Statechart Models

【24h】

A New approach to Detect Safety Violations in UML Statechart Models

机译：检测UML Statechart模型中安全违规的新方法

获取原文

获取外文期刊封面封底 >>

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

The model based development is a widely accepted phenomenon to build reliable software. This has prompted development of tools capable of generating code from the model. Such rapid software development tools are handy in development of embedded systems. T

机译：基于模型的开发是构建可靠软件的一种广泛接受的现象。这促进了能够从模型生成代码的工具的开发。这样的快速软件开发工具在嵌入式系统的开发中非常方便。 Ť

著录项

来源
《International journal of computer science and network security》 |2008年第7期|共8页
作者
Prashanth C.M.; K. Chandrashekar Shet;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种
中图分类自动化技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. QoS Modelling and Analysis with UML-Statecharts: The StoCharts Approach [J] . David N. Jansen, Holger Hermanns Performance evaluation review . 2005,第4期

机译：使用UML状态图进行QoS建模和分析：StoCharts方法
2. Detecting safety-related components in statecharts through traceability and model slicing [J] . Kan Shuanglong, Huang Zhiqiu Software . 2018,第3期

机译：通过可追溯性和模型切片检测状态图中的安全相关组件
3. Methods of checking general safety criteria in UML statechart specifications [J] . Zsigmond Pap, Istvan Majzik, Andras Pataricza, Reliability Engineering & System Safety . 2005,第1期

机译：检查UML状态图规范中的一般安全标准的方法
4. Verification Framework for Detecting Safety Violations in UML Statecharts [C] . Asia International Conference on Modeling Simulation . 2008

机译：检测UML StateCharts中安全违规的验证框架
5. A formal execution semantics and rigorous analytical approach for communicating UML statechart diagrams. [D] . Lam, Vitus S. W. 2006

机译：用于传达UML状态图的形式化执行语义和严格的分析方法。
6. Understanding the Social Contagion Effect of Safety Violations within a Construction Crew: A Hybrid Approach Using System Dynamics and Agent-Based Modeling [O] . Huakang Liang, Ken-Yu Lin, Shoujian Zhang 2018

机译：了解施工人员内部安全违规行为的社会传染效应：使用系统动力学和基于代理的建模的混合方法
7. PLC-Statecharts: An Approach to Integrate UML-Statecharts in Open-Loop Control Engineering – Aspects on Behavioral Semantics and Model-Checking [O] . Daniel Witsch, Birgit Vogel-Heuser 2011

机译：PLC-StateCharts：一种在开环控制工程中集成UML-StateCharts的方法 - 行为语义和模型检查的方面
8. Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications [R] . Heitmeyer, C. , Kirby, J. J. , Labaw, B. , 1998

机译：使用抽象和模型检查来检测需求规范中的安全违规

A New approach to Detect Safety Violations in UML Statechart Models

摘要

著录项

相似文献

相关主题

期刊订阅