complex software systems embody a wide spectrum of properties that can affect life-cycle management. Through a unique tool set, we are able to quantify large-system features that directly impact software architecture,...
详细信息
complex software systems embody a wide spectrum of properties that can affect life-cycle management. Through a unique tool set, we are able to quantify large-system features that directly impact software architecture, porting, reliability, and maintenance. The primary goal is early identification of risks to deployment and post-deployment support. The tools include Ada 83 and C System Dependency Analyzers, an Ada 83 Common Code Recognizer, an Ada 83 Tasking Identifier, and a Rate Monotonic Analysis Scheduler. Millions of lines of code have been successfully assessed in practice.
B has been widely used for high-integrity system development, for example in the railway industry. However there are few published guidelines on how to structure B specifications for particular types of system, such a...
详细信息
ISBN:
(纸本)0769508227
B has been widely used for high-integrity system development, for example in the railway industry. However there are few published guidelines on how to structure B specifications for particular types of system, such as reactive control systems. In this paper we describe a method to support graphical design of systems using B AMN, and develop guidelines for expressing the structuring requirements of reactive systems in B.
As database technology advances rapidly, there are usually heterogeneous databases used by different departments in an enterprise. On the other hand, the object-oriented technology is becoming the dominant application...
详细信息
As database technology advances rapidly, there are usually heterogeneous databases used by different departments in an enterprise. On the other hand, the object-oriented technology is becoming the dominant application development paradigm. Thus, there is a data modeling gap between applications and heterogeneous databases. In this paper we present some main architecture aspects of the system VH-DBS, which has been developed by an ongoing research project. This architecture provides a way to support cooperative access to distributed heterogeneous databases and to fill the data modeling gap in a distributed heterogeneous environment. Our work contributes not only to an implementation solution but also to an architectural framework and paradigmatic solution.
With most of formal methods, an initial formal model can be refined in multiple steps, until the final refinement contains enough details for an implementation. Most of the time, this initial model is built from the d...
详细信息
ISBN:
(纸本)9780769543819
With most of formal methods, an initial formal model can be refined in multiple steps, until the final refinement contains enough details for an implementation. Most of the time, this initial model is built from the description obtained by the requirements analysis. Unfortunately, this transition from the requirements phase to the formal specification phase is one of the most painful steps and is still ambiguous. In fact, building this initial model requires a high level of competence and a lot of practice, especially as there is no well-defined process to assist designers. For that purpose, we propose a goal-based approach in which initial formal models (in Event-B) are built incrementally driven by a goal-oriented requirements engineering (GORE) paradigm.
Multiparadigm programming languages have been envisioned as a vehicle for constructing large and complex heterogeneous systems, such as a stock market exchange or a telecommunications network. General-purpose multipar...
详细信息
Multiparadigm programming languages have been envisioned as a vehicle for constructing large and complex heterogeneous systems, such as a stock market exchange or a telecommunications network. General-purpose multiparadigm languages, as opposed to hybrid multiparadigm languages, embody several prevalent programming paradigms without being motivated by a single problem. One such language is Leda, which embodies the foundational paradigms of imperative, functional, logic, and object-oriented programming. We explore aspects of solving complex problems using Leda, in order to illustrate the benefits of using a multiparadigm language in expressing solutions to complexsystems. We claim that general-purpose multiparadigm programming languages like Leda greatly expedite solutions to a variety of complex problems.
computer aided engineering analysis is widely applied in industry with the rapid development of computer power and simulation technology. In particular, the design and analysis of complexsystems entails multidiscipli...
详细信息
ISBN:
(纸本)9781467360852;9781467360845
computer aided engineering analysis is widely applied in industry with the rapid development of computer power and simulation technology. In particular, the design and analysis of complexsystems entails multidisciplinary collaborative modeling and thus requires enormous knowledge and experience. However, current work on managing design knowledge is mainly focused on capturing knowledge about the design solutions and processes while little work has been done on investigating the knowledge about the models and processes for engineering analysis. This research is aimed at addressing this gap by developing the methodology for effective modeling and re-using the knowledge generated in the engineering analysis process. Specifically, a system framework is proposed to identify the methodology for managing engineering analysis together with the key issues involved. A knowledge model is developed to describe complexengineering analysis problems as well as their solving processes. A case study has been undertaken and preliminary results show that the proposed solutions can effectively describe the models and processes for engineering analysis whilst this preliminary research opens up further opportunities for doing further work.
Durable, robust architectures are of crucial importance for the competitiveness of companies like Siemens. The System Architecture Analysis (SAA) method enables the development of system architectures with a long life...
详细信息
Durable, robust architectures are of crucial importance for the competitiveness of companies like Siemens. The System Architecture Analysis (SAA) method enables the development of system architectures with a long lifetime. SAA pursues a comprehensive approach to optimizing architectures which takes into account market strategy as well as technological aspects. Since 1993, SAA has been used to support definition and optimization of software and system architectures world-wide in Siemens' computer system and industrial process groups.
The terminology of the field of dependable computing is used non-uniformly by many authors and standards. This paper presents a survey of definitions drawn from a variety of sources in an attempt to abstract away from...
详细信息
The terminology of the field of dependable computing is used non-uniformly by many authors and standards. This paper presents a survey of definitions drawn from a variety of sources in an attempt to abstract away from the terminology and focus instead on the fundamental concepts underlying the definitions. Two results are reported: first, a characterization of 'dependability' as a subjective portmanteau of 'entities' and 'attributes;' second, a simple, yet rigorous, model for 'errors,' 'failures' and 'faults,' The latter model leads to a careful examination of the mechanisms by which undesired situations occur and propagate in complex integrated computersystems. The significance of these results is discussed.
engineering of complex distributed real-time applications is one of the hardest tasks faced by the software profession today. All aspects of the process, from design to implementation, are made more difficult by the i...
详细信息
ISBN:
(纸本)0818681268
engineering of complex distributed real-time applications is one of the hardest tasks faced by the software profession today. All aspects of the process, from design to implementation, are made more difficult by the interaction of behavioral and platform constraints. Providing tools for this task is likewise not without major challenges. In this paper, we discuss a tool suite at New Jersey Institute of Technology's Real-Time Computing Lab which supports the development of complex distributed real-time applications in a suitable high-level language (CRL). The suite's component tools include a compiler, a transformer-optimizer, an allocator-migrator, schedulability analyzers, a debugger-monitor, a kernel and a (simulated) network manager. The overall engineering approach supported by the suite is to provide as simple and natural an integrated development paradigm as possible. The suite tools address complexity due to distribution, scheduling, allocation and other sources in an integrated manner (largely) transparent to the developer. To reflect the needs of propagation of functional and non-functional requirements throughout the development process, a number of robust code transformation and communication mechanisms have been incorporated into the suite. To facilitate practical use of the suite, the developed programs compile-transform to a safe subset of C++ with appropriate libraries and runtime support.
The Architecture Planning Group (APG) was chartered by ieee's Software engineering Standards Committee to set a direction for incorporating architectural thinking into ieee standards. In this paper, we present a f...
详细信息
The Architecture Planning Group (APG) was chartered by ieee's Software engineering Standards Committee to set a direction for incorporating architectural thinking into ieee standards. In this paper, we present a framework for architectural thinking and use it to review existing architectural practices;summarize the work of the APG and its recommendations;and provide the rationale for those recommendations.
暂无评论