This paper analyses the role of ontological commitment in structuring the requirements for the PSIM Environment. This environment aims to support (i) the sharing and the exchange of knowledge between the different act...
详细信息
ISBN:
(纸本)3540441220
This paper analyses the role of ontological commitment in structuring the requirements for the PSIM Environment. This environment aims to support (i) the sharing and the exchange of knowledge between the different actors involved in the design or redesign of a manufacturing enterprise;and (ii) the exchange of information between tools supporting enterprise analysis according to different perspectives (logistic, technologic and human). The techniques for piecemeal ontological commitment are related to two contributions from research on enterprise reference architectures: (i) the dimension of genericity of the ENV 40003 reference architecture and (ii) the relationships between lifecycles of enterprise entities as defined in GERAM. Two kinds of applications illustrate the ontological commitments: support for the interoperation and communication between applications;and the provision of task-specific interfaces to users working in an enterprise.
This paper presents a model-driven approach for generating Quality-of-Service (QoS) adaptation in Distributed Real-Time embedded (DRE) systems. The approach involves the creation of high-level graphical models represe...
详细信息
ISBN:
(纸本)3540442847
This paper presents a model-driven approach for generating Quality-of-Service (QoS) adaptation in Distributed Real-Time embedded (DRE) systems. The approach involves the creation of high-level graphical models representing the QoS adaptation policies. The models are constructed using a domain-specific modeling language - the Adaptive Quality modeling Language. Multiple generators have been developed using the Model-Integrated Computing framework to create low-level artifacts for simulation and implementation of the adaptation policies that are captured in the models. A simulation generator tool synthesizes artifacts for Matlab Simulink/Stateflow(R) (a popular commercial tool), providing the ability to simulate and analyze the QoS adaptation policy. An implementation generator creates artifacts for Quality Objects, a QoS adaptation software infrastructure developed at BBN, for execution of QoS adaptation in DRE systems. A case study in applying this approach to an Unmanned Aerial Vehicle - Video Streaming application is presented. This approach has goals that are similar to those specified in the OMG's Model-Driven Architecture initiative.
The proceedings contain 34 papers. The topics discussed include: on some key requirements of mobile application software;requirements engineering for time-to-market projects;towards recyclable system requirements;a fo...
ISBN:
(纸本)0769515495
The proceedings contain 34 papers. The topics discussed include: on some key requirements of mobile application software;requirements engineering for time-to-market projects;towards recyclable system requirements;a formal software verification concept based on automated theorem proving and reverse engineering;who does what in a multiagent system for emergent process management;understanding software processes through system dynamics simulation: a case study;VSPEC and its integrated tool suite;refinement of model specifications in embeddedsystems design;top-down composition of software architectures;what is included in software architecture? a case study in three software organizations;on the relation between design contracts and errors: a software development strategy;managing complex temporal requirements in real-time control systems;an experimental evaluation of programming by contract;architecture-based visualisation of computer based systems;and improving quality attributes of a complex system through architectural analysis -a case study.
embeddedsystems for safety-critical applications need design methods, which comply with the requirements of such sensitive systems. This paper proposes a new approach to the design of such systems and presents first ...
详细信息
ISBN:
(纸本)3540434097
embeddedsystems for safety-critical applications need design methods, which comply with the requirements of such sensitive systems. This paper proposes a new approach to the design of such systems and presents first results. We introduce the method of Virtual Prototyping in combination with assertions for an UML-based system design. This means that we build an abstract model of a heterogeneous embedded system including functional and especially timing constraints from the very beginning. The Unified modeling Language (UML) has been extended to model complex heterogeneous systems rather than just software. The Virtual Prototype is made executable on an open simulator platform. From the simulation we derive information about the system's functional and timing behavior, which is fed back to the UML system level. This paper discusses the assertion-based design process and its implementation by corresponding design tools, and it shows how assertions can vastly improve the quality of embedded system design.
Processing-in-Memory systems that combine processing power and system memory chips present unique algorithmic challenges in the search for optimal system efficiency. This paper presents a tool which allows algorithm d...
详细信息
The proceedings contain 135 papers. The topics discussed include: the age of adaptive computing is here;multithreading for logic-centric systems;fast prototyping with co-operation of simulation and emulation;how fast ...
ISBN:
(纸本)3540441085
The proceedings contain 135 papers. The topics discussed include: the age of adaptive computing is here;multithreading for logic-centric systems;fast prototyping with co-operation of simulation and emulation;how fast is rapid FPGA-based prototyping: lessons and challenges from the digital TV design prototyping project;implementing asynchronous circuits on LUT based FPGAs;flexible routing architecture generation for domain-specific reconfigurable subsystems;embedded reconfigurable logic core for DSP applications;FPGA QAM demodulator design;modular, fabric-specific synthesis for programmable architectures;improved functional simulation of dynamically reconfigurable logic;dynamic reconfiguration in mobile systems;automatic partitioning for improved placement and routing in complex programmable logic devices;and high-level partitioning of digital systems based on dynamically reconfigurable devices.
Digital technologies offer a working environment for familiarisation with new surgical procedures and management of clinical case audit. To enhance access and control of these virtual workspaces an eXtensible Mark-up ...
详细信息
ISBN:
(纸本)0769516564
Digital technologies offer a working environment for familiarisation with new surgical procedures and management of clinical case audit. To enhance access and control of these virtual workspaces an eXtensible Mark-up Language (XML) based interface has been developed. This links the educational environment of the Web Based Training (WBT) scheme to the clinical data collection from ongoing trials in Orthopaedics. The Virtual Orthopaedic European University (VOEU) infrastructure encompasses the normal working environment of engineers and clinicians using computer assisted surgery tools adopting dedicated interactive media. XML based interface enables users to communicate using material mediated for their specific needs allowing adaptive media based upon user experience and knowledge base. This combines declarative (factual) content with feedback from a clinical (procedural) case-based training and evaluation environment. By using XML interface, we were able to cater for the different user hardware and software resources, media content and language of presentation, and incorporate virtual environment simulations. By constructing a framework based upon already established standards, we anticipate the applicability to other surgical disciplines. This will enable the development of networking computerarchitectures to assist the assimilation of multiple sources and media. The interface offers the opportunity to collect data from computer assisted orthopaedic surgical systemsembedded in an educational environment that is quantitative rather than descriptive. This will help the development of data repositories for mining, providing feedback upon clinical case management.
The proceedings contain 49 papers. The topics discussed include: introducing requirements engineering: how to make a cultural change happen in practice;improving the requirements engineering process for an electronic ...
ISBN:
(纸本)0769514650
The proceedings contain 49 papers. The topics discussed include: introducing requirements engineering: how to make a cultural change happen in practice;improving the requirements engineering process for an electronic clearinghouse;requirements, architectures and risks;risk management in challenging business software projects;AGORA: attributed goal-oriented requirements analysis method;analyzing website privacy requirements using a privacy goal taxonomy;scenarios and design cognition;deriving use cases from organizational modeling;visual requirements validation: case study in a Corba-supported environment;a quality-model-based approach for describing and evaluating software packages;on the use of visualization in formal requirements specification;legal requirements reuse: a critical success factor for requirements quality and personal data protection;model based requirements engineering for embedded software;and managing (requirements) evolutions of high assurance systems.
SNet is a prototype environment supporting the representation and dynamic evaluation of designs for social networks comprising human, hardware, and software agents. The environment employs metadata management technolo...
详细信息
The proceedings contain 51 papers. The special focus in this conference is on Improvement Management, Process modeling, Software Quality and Agile Software Development. The topics include: SW engineering under tight e...
ISBN:
(纸本)3540002340
The proceedings contain 51 papers. The special focus in this conference is on Improvement Management, Process modeling, Software Quality and Agile Software Development. The topics include: SW engineering under tight economic constrains;agile methods in a mature process environment;a systems perspective on software process improvement;transition management of software process improvement;managing the improvement of SCM process;exploiting a virtual environment in a visual PML;simulation-based risk reduction for planning inspections;introducing object validation and navigation in software process to improve software quality;a framework for software quality evaluation;organisational culture in agile software dev elopement;making a method work for a project situation in the context of CMM;on software maintenance process improvement based on code clone analysis;a component-based framework for organizational process asset utilization;characteristics of process improvement of hardware-related SW;improving the reuse process is based on understanding the business and the products;software configuration management principles and best practices;a software engineering measurement expert system;empirically driven design of software development processes for wireless internet services;improving estimation practices by applying use case models;from knowledge management concepts toward software engineering practices;consensus building when comparing software architectures;integrating software engineering technologies for embeddedsystems development and black-box evaluation of cots components using aspects and metadata.
暂无评论