First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings.最新文献_第3页

On the use of a high-level fault model to check properties incompleteness 关于使用高级故障模型来检查属性的不完整性

First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings. Pub Date : 2003-06-24 DOI: 10.1109/MEMCOD.2003.1210099

F. Fummi, G. Pravadelli, A. Fedeli, U. Rossi, F. Toto

引用次数: 21

A generalized approach to supervisor synthesis 主管综合的一般方法

First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings. Pub Date : 2003-06-24 DOI: 10.1109/MEMCOD.2003.1210106

Roberto Ziller, K. Schneider

引用次数: 6

Reliability evaluation for dependable embedded system specifications: an approach based on DSPN 可靠嵌入式系统规范的可靠性评估:基于dsp的方法

First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings. Pub Date : 2003-06-24 DOI: 10.1109/MEMCOD.2003.1210102

S. M. M. Fernandes, P. Maciel

引用次数: 1

Bridging CSP and C++ with selective formalism and executable specifications 用选择性形式化和可执行规范架起CSP和c++的桥梁

First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings. Pub Date : 2003-06-24 DOI: 10.1109/MEMCOD.2003.1210108

W. B. Gardner

引用次数: 18

High level verification of control intensive systems using predicate abstraction 使用谓词抽象的控制密集型系统的高级验证

First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings. Pub Date : 2003-06-24 DOI: 10.1109/MEMCOD.2003.1210089

E. Clarke, O. Grumberg, Muralidhar Talupur, Dong Wang

引用次数: 18

Engineering changes in field modifiable architectures 现场可修改架构的工程变更

First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings. Pub Date : 2003-06-24 DOI: 10.1109/MEMCOD.2003.1210092

H. Saito, Kenshu Seto, Yoshihisa Kojima, S. Komatsu, M. Fujita

引用次数: 1

Verification of control properties in the polyhedral model 多面体模型控制特性的验证

First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings. Pub Date : 2003-06-24 DOI: 10.1109/MEMCOD.2003.1210111

D. Cachera, K. Morin-Allory

引用次数: 4

Executable computational logics: combining formal methods and programming language based system design 可执行计算逻辑:结合形式化方法和基于编程语言的系统设计

First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings. Pub Date : 2003-06-24 DOI: 10.1109/MEMCOD.2003.1210081

J. Meseguer

引用次数: 5

Goal-oriented requirements analysis for process control systems design 面向目标的过程控制系统设计需求分析

First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings. Pub Date : 2003-06-24 DOI: 10.1109/MEMCOD.2003.1210085

I. El-Maddah, T. Maibaum

{"title":"Goal-oriented requirements analysis for process control systems design","authors":"I. El-Maddah, T. Maibaum","doi":"10.1109/MEMCOD.2003.1210085","DOIUrl":"https://doi.org/10.1109/MEMCOD.2003.1210085","url":null,"abstract":"During the last two decades, a lot of effort has been focused on automating the generation of software applications. The automation process can start early, after some manual stage(s) or following (a) previous automatic stage(s). Such automation tools should have the capability of generating executable programs, specifications, or formal requirements, as appropriate. The requirements gathering and checking is considered as the most important phase to eliminate bugs that appear later and may be removed during the design or implementation phases, but with higher cost and effort. The GOPCSD (goal-oriented process control systems design) tool is designed to gather and structure the requirements for process control systems. The tool achieves separation between the process system engineer's view and the software engineer's. The tool hides the mathematic details of B method from the system engineer; enabling him to focus only on the operation specifications while the software engineer within the B toolkit environment focuses on programming paradigms. Some adaptations have been applied to the method of KAOS in order to yield maximum benefit while minimizing both the required time and the effort to complete the gathering of application requirements for process control systems. After studying different process control case studies, six patterns have been identified: two (alternative and conjunction pattern) of them extending the existing patterns in the KAOS method and four (sequence, disjunction, simultaneous, and inheritance patterns) are new and can be extensively found within the process control systems.","PeriodicalId":213762,"journal":{"name":"First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings.","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-06-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127798223","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}

引用次数: 17