发布求助
文献互助 智能选刊 最新文献

Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems最新文献

筛选
英文 中文
Classifying object-oriented real-time systems: Ada 95 and Deal 面向对象实时系统的分类:Ada 95和Deal
Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems Pub Date : 1996-03-11 DOI: 10.1109/ECBS.1996.494545
D. Hammer, O. V. Roosmalen, L. Welch
{"title":"Classifying object-oriented real-time systems: Ada 95 and Deal","authors":"D. Hammer, O. V. Roosmalen, L. Welch","doi":"10.1109/ECBS.1996.494545","DOIUrl":"https://doi.org/10.1109/ECBS.1996.494545","url":null,"abstract":"The paper extends and applies a previously published taxonomy for the evaluation of object-oriented languages for the construction of distributed real-time systems. Our main question is: how well do current approaches support the design of concurrency and non-functional system features like the specification of allocation, timing and fault tolerance constraints? In order to demonstrate our approach, we consider two extremes: Ada 95 and our own real-time language Deal. It is shown that our taxonomy is well suited to discern essential properties of such languages and to point out the weaknesses of contemporary approaches.","PeriodicalId":244671,"journal":{"name":"Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-03-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133159466","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}
引用次数: 1
Selecting engineering techniques using fuzzy logic based decision support 基于模糊逻辑的决策支持选择工程技术
Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems Pub Date : 1996-03-11 DOI: 10.1109/ECBS.1996.494570
P. Liggesmeyer
{"title":"Selecting engineering techniques using fuzzy logic based decision support","authors":"P. Liggesmeyer","doi":"10.1109/ECBS.1996.494570","DOIUrl":"https://doi.org/10.1109/ECBS.1996.494570","url":null,"abstract":"The task of selecting software engineering methods, techniques, metrics, and tools is usually performed manually, based on the expertise of individuals. This paper presents a systematic tool supported approach, that bases its suggestions an the technical situation, the existing goals, and constraints of a specific organization or a particular project. A prototype of the decision support system supports the elaboration of test strategies. The approach uses information about the technical situation that is provided by answering predefined questions with fuzzy data. The objective is to assign \"adequacy values\" to combinations of test methods, techniques, metrics, tools, and quantified test situations. The priorities of goals and constraints have assessed by applying a technique that is based on comparing goals in pairs. This permits to check certain consistency criteria by static analysis. A hierarchy of the importance of goals and constraints is calculated, which provides the basis for the determination of the suitability of test methods; techniques, metrics, and tools with respect to goals and constraints.","PeriodicalId":244671,"journal":{"name":"Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems","volume":"80 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-03-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116478405","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}
引用次数: 3
A hierarchical use case model with graphical representation 具有图形表示的分层用例模型
Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems Pub Date : 1996-03-11 DOI: 10.1109/ECBS.1996.494538
B. Regnell, Michael Andersson, Johan Bergstrand
{"title":"A hierarchical use case model with graphical representation","authors":"B. Regnell, Michael Andersson, Johan Bergstrand","doi":"10.1109/ECBS.1996.494538","DOIUrl":"https://doi.org/10.1109/ECBS.1996.494538","url":null,"abstract":"Use case modelling is gaining increasing interest in computer-based systems engineering, especially in the earliest stages of system development, where requirements are elicited, documented and validated. The paper presents a conceptual framework for use case modelling and a new use case model with graphical representation, including support for different abstraction levels and mechanisms for managing large use case models. Current application of use cases in requirements engineering is discussed, as well as ontological and methodological issues related to use case modelling.","PeriodicalId":244671,"journal":{"name":"Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-03-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130252555","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}
引用次数: 120
An architecture for medical knowledge-based assistance systems 基于医学知识的辅助系统体系结构
Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems Pub Date : 1996-03-11 DOI: 10.1109/ECBS.1996.494572
H. Kindler, B. Fischer, D. Densow, T. Fliedner
{"title":"An architecture for medical knowledge-based assistance systems","authors":"H. Kindler, B. Fischer, D. Densow, T. Fliedner","doi":"10.1109/ECBS.1996.494572","DOIUrl":"https://doi.org/10.1109/ECBS.1996.494572","url":null,"abstract":"Medical problems can be hierarchically decomposed into subproblems. In general, the problems are solved by humans. For some very seldom occurring subproblems e.g. developing a patient management plan for the acute radiation syndrome, or for routine problems, e.g. report generation in laboratory medicine for 95% of the cases, knowledge-bases could perform the task more efficiently than humans. An architecture for medical knowledge-based assistance systems is presented allowing for the co-operation of physicians and knowledge-bases to efficiently solve medical problems. The collaboration is obtained by applying a cognitive problem-solving model implemented on a blackboard control architecture. The architecture has been prototypically implemented and partially evaluated for the medical management of the acute radiation syndrome and in laboratory medicine.","PeriodicalId":244671,"journal":{"name":"Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-03-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117123339","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}
引用次数: 1
Modeling for configuration employing hybrid knowledge representation 采用混合知识表示的配置建模
Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems Pub Date : 1996-03-11 DOI: 10.1109/ECBS.1996.494519
T. Kessel, M. Schlick, O. Stern
{"title":"Modeling for configuration employing hybrid knowledge representation","authors":"T. Kessel, M. Schlick, O. Stern","doi":"10.1109/ECBS.1996.494519","DOIUrl":"https://doi.org/10.1109/ECBS.1996.494519","url":null,"abstract":"Domain modeling for technical configuration problems addresses the need for dedicated knowledge representation facilities. In this article we present the hybrid system C3L which combines a declarative with a procedural knowledge representation paradigm. This is especially useful for the elaboration of a model for the configuration of modular vehicle bus systems. Some key features of such a model will be explained in the following.","PeriodicalId":244671,"journal":{"name":"Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-03-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130752961","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}
引用次数: 4
Embedded system design: a case study 嵌入式系统设计:一个案例研究
Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems Pub Date : 1996-03-11 DOI: 10.1109/ECBS.1996.494537
M. Svéda
{"title":"Embedded system design: a case study","authors":"M. Svéda","doi":"10.1109/ECBS.1996.494537","DOIUrl":"https://doi.org/10.1109/ECBS.1996.494537","url":null,"abstract":"The paper presents an original design method dedicated to embedded distributed systems using dispenser control as an example. The techniques applied during all stages of design stem from a local time concept: a system-wide global clock is utilized neither as an abstract model launching specifications nor as some obligatory, application-independent synchronization of local clocks completing implementations. After a description of the method encompassing environment specification, system functional specification, logical structure description, prototyping, and implementation, a brief survey relates the method to current theory and practice. The core part of the paper deals with an application example concerning a dispenser with a counter/controller for a petrol pumping station, which is safety critical because of the danger of explosion in the case of uncontrolled petrol flow and, also, loss of money in the case of unregistered flow.","PeriodicalId":244671,"journal":{"name":"Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-03-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131207885","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}
引用次数: 8
A formal approach to HW/SW co-design: the INSYDE project 硬件/软件协同设计的正式方法:INSYDE项目
Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems Pub Date : 1996-03-11 DOI: 10.1109/ECBS.1996.494563
D. Sinclair, L. Cuypers, K. Verschaeve, E. Holz, A. Birbas, V. Mariatos, N. Kyrloglou, Jean-Luc Roux
{"title":"A formal approach to HW/SW co-design: the INSYDE project","authors":"D. Sinclair, L. Cuypers, K. Verschaeve, E. Holz, A. Birbas, V. Mariatos, N. Kyrloglou, Jean-Luc Roux","doi":"10.1109/ECBS.1996.494563","DOIUrl":"https://doi.org/10.1109/ECBS.1996.494563","url":null,"abstract":"The paper presents a formal approach to the co-design of hybrid systems based on object-oriented analysis and design, and the formal description languages VHDL and SDL. This methodology covers the whole development process from requirements capture, through design and implementation, to validation. The paper also presents some of our experiences to date with the methodology.","PeriodicalId":244671,"journal":{"name":"Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-03-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127900542","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}
引用次数: 4
Change analysis: a step towards meeting the challenge of changing requirements 变更分析:朝着满足不断变化的需求的挑战迈出的一步
Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems Pub Date : 1996-03-11 DOI: 10.1109/ECBS.1996.494539
M. Strens, Robert Sugden
{"title":"Change analysis: a step towards meeting the challenge of changing requirements","authors":"M. Strens, Robert Sugden","doi":"10.1109/ECBS.1996.494539","DOIUrl":"https://doi.org/10.1109/ECBS.1996.494539","url":null,"abstract":"Changing requirements are a major source of risk to software development projects, but are generally not included in hazard identification and risk assessment procedures at present because the information needed is not collected or recorded by current requirements methods. It is proposed that change analysis should be an integral part of the entire development process so that change can be handled in a better-informed way with the associated risks being made apparent. Sensitivity analysis is proposed as the principal means of predicting two categories of hazard: which requirements are unstable and which design areas are most susceptible to changes in requirements. Impact analysis supports the decision-making process concerning the implementation of changes, and is also used to predict the impact of potential change for the assessment of risk. The paper considers what information is needed to enable sensitivity and impact analysis to provide an effective means of change analysis and what methods provide such information, emphasising the importance of traceability and the capture of design rationale. Because the potential for change would be made apparent early in the lifecycle the outcome should be a substantial contribution towards the goal of minimising the adverse impact of changing requirements on the project objectives.","PeriodicalId":244671,"journal":{"name":"Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-03-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133183594","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}
引用次数: 81
A RISC architecture to explore HW/SW parallelism in HW/SW codesign 在硬件/软件协同设计中探索硬件/软件并行性的RISC架构
Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems Pub Date : 1996-03-11 DOI: 10.1109/ECBS.1996.494564
L. Carro, A. Susin
{"title":"A RISC architecture to explore HW/SW parallelism in HW/SW codesign","authors":"L. Carro, A. Susin","doi":"10.1109/ECBS.1996.494564","DOIUrl":"https://doi.org/10.1109/ECBS.1996.494564","url":null,"abstract":"The paper describes some modifications on the architecture of embedded RISC-like processors to better explore HW/SW (hardware/software) parallelism in a HW/SW co-design environment. It is shown that the inclusion of an instruction memory allows parallel execution of the application SW and eventual dedicated HW. Positive results are shown for two different RISC microprocessors. The paper also reports experimental results, particularly the proposed modifications applied to an induction motor control algorithm.","PeriodicalId":244671,"journal":{"name":"Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-03-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130927167","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}
引用次数: 1
Context modelling for a usability oriented approach to interactive systems requirements engineering 用于交互式系统需求工程的面向可用性方法的上下文建模
Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems Pub Date : 1996-03-11 DOI: 10.1109/ECBS.1996.494544
M. Pimenta, Marie-France Barthet
{"title":"Context modelling for a usability oriented approach to interactive systems requirements engineering","authors":"M. Pimenta, Marie-France Barthet","doi":"10.1109/ECBS.1996.494544","DOIUrl":"https://doi.org/10.1109/ECBS.1996.494544","url":null,"abstract":"The paper investigates the needs of organisational context modelling within a usability-oriented approach to interactive systems requirements engineering. Task models usually produced during the requirements engineering process are derived basically from an analysis of the the users' individual tasks. Consequently, some major usability problems in interactive tasks performing arise from a lack of the organisational context modelling. The TOCO (task organisational context) model is proposed and then an example of context modelling using TOCO is presented.","PeriodicalId":244671,"journal":{"name":"Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-03-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115193752","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}
引用次数: 4
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信