2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems最新文献_第3页

Towards an Operational Safety Standard for Software: Modelling IEC 61508 Part 3 迈向软件操作安全标准:建模IEC 61508第3部分

2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems Pub Date : 2011-04-27 DOI: 10.1109/ECBS.2011.8

Alois Mayr, Reinhold Plösch, Matthias Saft

{"title":"Towards an Operational Safety Standard for Software: Modelling IEC 61508 Part 3","authors":"Alois Mayr, Reinhold Plösch, Matthias Saft","doi":"10.1109/ECBS.2011.8","DOIUrl":"https://doi.org/10.1109/ECBS.2011.8","url":null,"abstract":"Safety standards are an important means for developing safety-critical (software) systems. Usually they provide a set of requirements and recommendations in order to support implementing safe software, such as the prominent IEC 61508 functional safety standard. Meeting them leads to safer software and reduces the likelihood for harms on people and environment. But for both, the development team and assessors, the application of the standard in practice is difficult and often leads to problems due to unclear requirements and (missing) acceptance criteria. For this purpose a quality model for the safety standard helps applying the standard objectively and provides guidance for the software development team. Concrete measures and rules of code, architecture and documentation analysis tools help to operationalize the standard that is covered by the quality model. Using documentation analysis tools helps supporting the project lead for determining the quality of the input and output artifacts of the lifecycle phases. The application of the operational quality model for continuous quality assessments of software projects may contribute to emerging a safety culture in the organization as the developers become more safety aware. In a first analysis we found out that over 50 percent of the analyzed tables in the annexes of IEC 61508 part 3 can be measured 'largely' by means of such automatic measurement tools. Using tools is important for the continuous quality assessment. However, we still need to analyze the rest of the standard's software part and apply it to projects in order to validate this approach. In conclusion, the focus of this paper is to show the need for an operational quality model for objectively applying the safety standard and for continuously giving guidance for stakeholders in the development process for safety-critical software.","PeriodicalId":151932,"journal":{"name":"2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123461265","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}

引用次数: 13

A Computer-Aided Approach to Preliminary Hazard Analysis for Automotive Embedded Systems 汽车嵌入式系统初步危害分析的计算机辅助方法

2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems Pub Date : 2011-04-27 DOI: 10.1109/ECBS.2011.43

R. Mader, G. Grießnig, A. Leitner, Christian Kreiner, Quentin Bourrouilh, E. Armengaud, C. Steger, R. Weiss

{"title":"A Computer-Aided Approach to Preliminary Hazard Analysis for Automotive Embedded Systems","authors":"R. Mader, G. Grießnig, A. Leitner, Christian Kreiner, Quentin Bourrouilh, E. Armengaud, C. Steger, R. Weiss","doi":"10.1109/ECBS.2011.43","DOIUrl":"https://doi.org/10.1109/ECBS.2011.43","url":null,"abstract":"Powertrain electrification of automobiles leads to a higher number of sensors, actuators and control functions, which in turn increases the complexity of automotive embedded systems. The safety-criticality of the system requires the application of Preliminary Hazard Analysis early in the development process. This is a necessary first step for the development of an automotive embedded system that is acceptably safe. Goal of this activity is the identification and classification of hazards and the definition of top level safety requirements that are the basis for designing a safety-critical embedded system that is able to control or mitigate the identified hazards. A computeraided framework to support Preliminary Hazard Analysis for automotive embedded systems is presented in this work. The contribution consists of (1) an enhancement for Preliminary Hazard Analysis to the domain-specific language EAST-ADL, as well as (2) the identification of properties that indicate the correct application of Preliminary Hazard Analysis using the language. These properties and an analysis model reflecting the results of the Preliminary Hazard Analysis are used for the automated detection of an erroneously applied Preliminary Hazard Analysis (property checker) and the automated suggestion and application of corrective measures (model corrector). The applicability of the approach is evaluated by the case study of hybrid electric vehicle development.","PeriodicalId":151932,"journal":{"name":"2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127133922","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}

引用次数: 23

Pattern-Driven Support for Designing Component-Based Architectural Models 对设计基于组件的体系结构模型的模式驱动支持

2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems Pub Date : 2011-04-27 DOI: 10.1109/ECBS.2011.20

Jagadish Suryadevara, C. Seceleanu, P. Pettersson

引用次数: 3

Reachability Analysis in Dynamically Routed Networks 动态路由网络中的可达性分析

2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems Pub Date : 2011-04-27 DOI: 10.1109/ECBS.2011.24

M. Svéda, O. Ryšavý, Gayanthi De Silva, P. Matoušek, J. Ráb

引用次数: 3

Formal Verification of Distributed Transaction Management in a SOA Based Control System 基于SOA的控制系统中分布式事务管理的形式化验证

2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems Pub Date : 2011-04-27 DOI: 10.1109/ECBS.2011.14

Ivanka Popović, Vladislav Vrtunski, M. Popovic

{"title":"Formal Verification of Distributed Transaction Management in a SOA Based Control System","authors":"Ivanka Popović, Vladislav Vrtunski, M. Popovic","doi":"10.1109/ECBS.2011.14","DOIUrl":"https://doi.org/10.1109/ECBS.2011.14","url":null,"abstract":"In large scale, heavy workload systems, managing distributed transactions on multiple datasets becomes challenging and error prone task. Software systems based on service oriented architecture principles that manage critical infrastructures are typical environments where robust transaction management is one of the essential goals to achieve. The aim of this paper is to provide a formal description of the solution for transaction management and individual service component behavior in a SOA-based control system, and prove the correctness of the proposed design with the SMV formal verification tool. Atomic commitment protocol is used as a basis for solving distributed transaction management problem. SMV language and verification tool are utilized for formal description of the problem and verification of the necessary properties. The case study describes an application of the proposed approach in commercial software system for electrical power distribution management. Verification of given model properties has shown that suggested solution is suitable for the described class of SOA-based systems.","PeriodicalId":151932,"journal":{"name":"2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125064430","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}

引用次数: 9

Message Modeling for the Joint Architecture for Unmanned Systems (JAUS) 无人系统联合体系结构的消息建模

2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems Pub Date : 2011-04-27 DOI: 10.1109/ECBS.2011.17

Sean Whitsitt, J. Sprinkle

引用次数: 9

Fostering the Universal Virtual Computer as Long-Term Preservation Platform 培育通用虚拟计算机作为长期保存平台

2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems Pub Date : 2011-04-27 DOI: 10.1109/ECBS.2011.10

Nico Krebs, Sebastian Rönnau, Uwe M. Borghoff

引用次数: 2

Hardware/Software Communication Middleware for Data Adaptable Embedded Systems 数据适应性嵌入式系统的硬件/软件通信中间件

2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems Pub Date : 2011-04-27 DOI: 10.1109/ECBS.2011.12

Sachidanand Mahadevan, V. Gopinath, Roman L. Lysecky, J. Sprinkle, J. Rozenblit, M. Marcellin

引用次数: 6

A Meta-Framework for Design Space Exploration 设计空间探索的元框架

2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems Pub Date : 2011-04-27 DOI: 10.1109/ECBS.2011.21

Tripti Saxena, G. Karsai

{"title":"A Meta-Framework for Design Space Exploration","authors":"Tripti Saxena, G. Karsai","doi":"10.1109/ECBS.2011.21","DOIUrl":"https://doi.org/10.1109/ECBS.2011.21","url":null,"abstract":"Complex software systems have a large number of choices in terms of selection of software components and hardware architectures for implementation. These design choices create a large space of possible design solutions called the design space. The design process requires exploring through this design space to find valid design solutions before the actual implementation. Design space exploration (DSE) is the process of searching through the design space to find feasible and optimal design solutions. The main challenge in DSE is to deal with an exponential number of design alternatives, which is further complicated by the various conflicting requirements. Thus, there is a clear need for tool support to automate DSE. Over the years domain-experts have frequently relied on different search techniques (mathematical programming, constraint techniques, heuristics) to automate DSE. Different approaches can be used to integrate the search techniques into the existing development environment. One of the approaches is development of black-box frameworks for DSE. Literature survey reveals that existing DSE frameworks are domain-specific where the representation and exploration algorithm are tightly coupled with domain-dependent assumptions. Besides this, most frameworks use a single search technique to automate exploration, which may not work well as the problem evolves over time. Thus, most frameworks lack reusability and flexibility. This paper presents a survey of existing approaches for automated DSE. The goal is to highlight the requirements and research challenges in the development of a meta-framework for design space exploration. This framework can be meta-programmed by domain-experts to work for a class of DSE problems in any domain, thus providing reusability. The meta-framework also supports a set of search techniques providing the flexibility to choose a technique based on the characteristics of the problem instance.","PeriodicalId":151932,"journal":{"name":"2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122242065","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}

引用次数: 14

Queral Networks: Toward an Approach for Engineering Large Artificial Neural Networks 通用网络:大型人工神经网络工程的一种方法

2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems Pub Date : 2011-04-27 DOI: 10.1109/ECBS.2011.27

Travis A. Hoffman, J. Rozenblit, A. Akoglu, Liana Suantak

引用次数: 1