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

Proceedings International Conference and Workshop on Engineering of Computer-Based Systems最新文献

筛选
英文 中文
The insides and outsides of computer-based system complexity 基于计算机的系统复杂性的内部和外部
Proceedings International Conference and Workshop on Engineering of Computer-Based Systems Pub Date : 1997-03-24 DOI: 10.1109/ECBS.1997.581853
H. Lawson
{"title":"The insides and outsides of computer-based system complexity","authors":"H. Lawson","doi":"10.1109/ECBS.1997.581853","DOIUrl":"https://doi.org/10.1109/ECBS.1997.581853","url":null,"abstract":"Personal reflections concerning the man-made complexities in computer-based systems are presented. Complexities are divided into Inside (hardware and systems software) and Outside (development and deployment of application softwares). In order to gain a perspective upon how complexities have arisen, several historical developments in the computer industry are reviewed. Further, a call is made for computer-based system engineers to be proactive in seeking to minimize complexity at all of the abstract and concrete levels of computer-based systems.","PeriodicalId":240356,"journal":{"name":"Proceedings International Conference and Workshop on Engineering of Computer-Based Systems","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114664276","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
Validation and testing of sC++ applications 验证和测试sC++应用程序
Proceedings International Conference and Workshop on Engineering of Computer-Based Systems Pub Date : 1997-03-24 DOI: 10.1109/ECBS.1997.581947
J. Madsen
{"title":"Validation and testing of sC++ applications","authors":"J. Madsen","doi":"10.1109/ECBS.1997.581947","DOIUrl":"https://doi.org/10.1109/ECBS.1997.581947","url":null,"abstract":"Validating and testing programs has received a lot of attention in recent years and several techniques such as exhaustive search and Random Walk validation have been proposed. However, exhaustive search techniques are only usable for small programs. The only way to cope with complex industrial applications is based on heuristics such as the Random Walk validation techniques. In this paper we present a method that allows us to apply the Random Walk validation techniques to programs written in a concurrent version of C++, named sC++. The main advantages of this approach are that we avoid rewriting the program code between the different development phases and it enables us to validate our implementation at different stages of the development with little effort.","PeriodicalId":240356,"journal":{"name":"Proceedings International Conference and Workshop on Engineering of Computer-Based Systems","volume":"105 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126618453","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}
引用次数: 2
Towards an open framework for conceptual knowledge in ECBS domain and information modelling 为ECBS领域的概念知识和信息建模建立一个开放的框架
Proceedings International Conference and Workshop on Engineering of Computer-Based Systems Pub Date : 1997-03-24 DOI: 10.1109/ECBS.1997.581862
E. Compatangelo
{"title":"Towards an open framework for conceptual knowledge in ECBS domain and information modelling","authors":"E. Compatangelo","doi":"10.1109/ECBS.1997.581862","DOIUrl":"https://doi.org/10.1109/ECBS.1997.581862","url":null,"abstract":"This paper outlines an open framework to share information concepts used in domain knowledge modelling and analysis performed before CBS development. The above framework can support the integration of ECBS information models at the domain level by way of the following characteristics. First, a minimalist ontology is introduced to capture relevant categories of information concepts (i.e. domain abstractions) used in different information modelling approaches. Second, a formal but analyst-oriented representation is adopted to model knowledge about the distinct categories of information concepts captured in CBS domains. Third, category-dependant rules for the construction of information concept hierarchies are defined as the basis of automatic deductive services. The above characteristics are compared with the corresponding ones of popular data, process and object modelling approaches.","PeriodicalId":240356,"journal":{"name":"Proceedings International Conference and Workshop on Engineering of Computer-Based Systems","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122710286","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}
引用次数: 5
Complex systems 复杂的系统
Proceedings International Conference and Workshop on Engineering of Computer-Based Systems Pub Date : 1997-03-24 DOI: 10.1109/ECBS.1997.581896
B. Keepence, M. Mannion
{"title":"Complex systems","authors":"B. Keepence, M. Mannion","doi":"10.1109/ECBS.1997.581896","DOIUrl":"https://doi.org/10.1109/ECBS.1997.581896","url":null,"abstract":"Every organisation from the scale of whole countries down to small companies has a list of system developments which have ended in various forms of disaster. The nature of the failures varies but typical examples are: cost overruns; timescale overruns and sometimes, loss of life. The post-mortems to these systems reveal a wide range of reasons all the way from hardware failures, through software errors right to major system level mistakes. More importantly a large number of these systems share one attribute: complexity. This paper presents a fresh look at the nature of complexity in the building of computer based systems.","PeriodicalId":240356,"journal":{"name":"Proceedings International Conference and Workshop on Engineering of Computer-Based Systems","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114865675","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}
引用次数: 801
The Advanced Battlefield Architecture for Tactical Information Selection (ABATIS) 用于战术信息选择的先进战场架构(ABATIS)
Proceedings International Conference and Workshop on Engineering of Computer-Based Systems Pub Date : 1997-03-24 DOI: 10.1109/ECBS.1997.581867
J. Keane, J. Rozenblit, M. Barnes
{"title":"The Advanced Battlefield Architecture for Tactical Information Selection (ABATIS)","authors":"J. Keane, J. Rozenblit, M. Barnes","doi":"10.1109/ECBS.1997.581867","DOIUrl":"https://doi.org/10.1109/ECBS.1997.581867","url":null,"abstract":"Modern warfare requires the understanding and management of increasingly complex assemblages of resources. The Advanced Battlefield Architecture for Tactical Information Selection (ABATIS) is introduced. It provides a framework for testing various display strategies. Its design, which uses object-oriented and hierarchical design methodologies, is flexible and extensible. It assures that a working program can be rapidly developed for comparing alternate display strategies. The report defines an overall architecture for battlefield visualization and then focuses on a detailed design of its display layer, called the process centered display (PCD). The design is specified using the object modeling technique (OMT) notation. The complete class diagrams for the PCD are presented and an illustrative example is given.","PeriodicalId":240356,"journal":{"name":"Proceedings International Conference and Workshop on Engineering of Computer-Based Systems","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133863243","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}
引用次数: 5
Building distributed scalable dependable real-time systems 构建分布式、可扩展、可靠的实时系统
Proceedings International Conference and Workshop on Engineering of Computer-Based Systems Pub Date : 1997-03-24 DOI: 10.1109/ECBS.1997.581928
B. Ravindran, L. Welch, C. Kelling
{"title":"Building distributed scalable dependable real-time systems","authors":"B. Ravindran, L. Welch, C. Kelling","doi":"10.1109/ECBS.1997.581928","DOIUrl":"https://doi.org/10.1109/ECBS.1997.581928","url":null,"abstract":"This paper describes an on-going effort in constructing a platform for developing distributed, embedded, real-time control systems which have high dependability and scalability requirements. Complex, embedded real-time control systems typically have a very large grain task model upon which hard and soft timing constraints are simultaneously imposed. Often, such systems are required to function in extremely hostile and unpredictable environments. This demands large dependability and availability in a continuous manner We describe a new paradigm to build such systems which is based on the notion of paths-the granularity at which the notion of time is expressed in software. Further the paper describes distributed middleware services that are being developed to provide dependable, adaptive dynamic resource management. To illustrate the approach, an automobile air bag control system is used as an application example. Path descriptions can be applied in system design or system maintenance and during run time optimization. Within this framework, model based evaluation is often required. Therefore, in the second part of the paper a modeling approach for paths based on Stochastic Petri Nets is described, and results of a performance evaluation are presented.","PeriodicalId":240356,"journal":{"name":"Proceedings International Conference and Workshop on Engineering of Computer-Based Systems","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127630966","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
Simulation of hybrid mechatronic systems: a case study 混合机电系统的仿真:一个案例研究
Proceedings International Conference and Workshop on Engineering of Computer-Based Systems Pub Date : 1997-03-24 DOI: 10.1109/ECBS.1997.581874
M. Brielmann, J. Stroop, U. Honekamp, P. Wältermann
{"title":"Simulation of hybrid mechatronic systems: a case study","authors":"M. Brielmann, J. Stroop, U. Honekamp, P. Wältermann","doi":"10.1109/ECBS.1997.581874","DOIUrl":"https://doi.org/10.1109/ECBS.1997.581874","url":null,"abstract":"Hybrid mechatronic systems consisting of continuous and discrete system parts place special requirements on the specification and simulation techniques. The electric windows of a car are used as a case study to evaluate the authors' ideas in this area. For the specification of the continuous part (e.g. the motor) a description in DSL or a block diagram is used, whereas the discrete part is specified by an automaton. The interconnections are modelled by extended predicate/transition nets. For a first simulation the different descriptions are transformed into predicate/transition nets to get a uniform formalism. For more complex systems or a hardware-in-the-loop simulation the parallelisation of the hybrid simulation is necessary.","PeriodicalId":240356,"journal":{"name":"Proceedings International Conference and Workshop on Engineering of Computer-Based Systems","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115615423","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}
引用次数: 6
Model driven development: integrating tools with practices 模型驱动的开发:将工具与实践集成
Proceedings International Conference and Workshop on Engineering of Computer-Based Systems Pub Date : 1997-03-24 DOI: 10.1109/ECBS.1997.581923
C. Haskins
{"title":"Model driven development: integrating tools with practices","authors":"C. Haskins","doi":"10.1109/ECBS.1997.581923","DOIUrl":"https://doi.org/10.1109/ECBS.1997.581923","url":null,"abstract":"Model-based software engineering is a reality whose time has come. This paper points out ways in which software can be automatically generated from models without taking the human out of the cycle. This paper illustrates the importance of integrating tools with practice.","PeriodicalId":240356,"journal":{"name":"Proceedings International Conference and Workshop on Engineering of Computer-Based Systems","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115017610","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}
引用次数: 5
Using software sensors for migrating from classical simulation systems towards virtual worlds 利用软件传感器实现从经典仿真系统向虚拟世界的迁移
Proceedings International Conference and Workshop on Engineering of Computer-Based Systems Pub Date : 1997-03-24 DOI: 10.1109/ECBS.1997.581825
H. Mayr
{"title":"Using software sensors for migrating from classical simulation systems towards virtual worlds","authors":"H. Mayr","doi":"10.1109/ECBS.1997.581825","DOIUrl":"https://doi.org/10.1109/ECBS.1997.581825","url":null,"abstract":"A modern, distributed simulation environment for virtual reality contains two main challenges for a modeling system, a) supplying the world objects with knowledge about the environment in order to enable \"intelligent\" behavior and b) disentangle the communication in order to decentralize the responses to environmental events. We present our design and implementation of software sensors together with sensor managers in order to create such an intelligent simulation environment, focusing on object motion. Our implementation is based upon a comprehensive class of collision checking algorithms that has been developed by us and enables an applicable modeling of software sensors. The presented solution extends a classical graphic simulation model into a suitable world model for virtual worlds like, e.g., virtual factory concepts, as has already been shown by several applications of our simulation environment.","PeriodicalId":240356,"journal":{"name":"Proceedings International Conference and Workshop on Engineering of Computer-Based Systems","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126616059","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
Integrated development for computer-based systems 计算机系统的综合开发
Proceedings International Conference and Workshop on Engineering of Computer-Based Systems Pub Date : 1997-03-24 DOI: 10.1109/ECBS.1997.581920
P. Scott, S. Rose
{"title":"Integrated development for computer-based systems","authors":"P. Scott, S. Rose","doi":"10.1109/ECBS.1997.581920","DOIUrl":"https://doi.org/10.1109/ECBS.1997.581920","url":null,"abstract":"This paper describes an integrated systems and software engineering process whose purpose is to enable systems and software engineers and project managers to develop software-intensive systems more efficiently. The process model accomplishes this goal by defining a set of management and technical activities and the information flows that integrate them. The model may be tailored to a particular system development by decomposition of the process to mirror the evolving decomposition of the system itself with both management and technical activities allocated to each element of the system, and with defined information flows between activities at adjacent levels. The model calls for both a long-term development plan and a series of increment plans for each element and requires that risks are analyzed before each plan is defined. The process complies with major systems and software engineering standards.","PeriodicalId":240356,"journal":{"name":"Proceedings International Conference and Workshop on Engineering of Computer-Based Systems","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122676872","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}
引用次数: 6
下一页 尾页
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学术文献互助群
群 号：481959085
Book学术官方微信