Pub Date : 1997-03-24DOI: 10.1109/ECBS.1997.581853
H. Lawson
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.
{"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}
Pub Date : 1997-03-24DOI: 10.1109/ECBS.1997.581947
J. Madsen
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.
{"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}
Pub Date : 1997-03-24DOI: 10.1109/ECBS.1997.581862
E. Compatangelo
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.
{"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}
Pub Date : 1997-03-24DOI: 10.1109/ECBS.1997.581896
B. Keepence, M. Mannion
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.
{"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}
Pub Date : 1997-03-24DOI: 10.1109/ECBS.1997.581867
J. Keane, J. Rozenblit, M. Barnes
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.
{"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}
Pub Date : 1997-03-24DOI: 10.1109/ECBS.1997.581928
B. Ravindran, L. Welch, C. Kelling
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.
{"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}
Pub Date : 1997-03-24DOI: 10.1109/ECBS.1997.581874
M. Brielmann, J. Stroop, U. Honekamp, P. Wältermann
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.
{"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}
Pub Date : 1997-03-24DOI: 10.1109/ECBS.1997.581923
C. Haskins
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.
{"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}
Pub Date : 1997-03-24DOI: 10.1109/ECBS.1997.581825
H. Mayr
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.
{"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}
Pub Date : 1997-03-24DOI: 10.1109/ECBS.1997.581920
P. Scott, S. Rose
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.
{"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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：