the software complexity in modern vehicle electronic systems is increasingly growing. Vehicle projects have to take into account a growing number of interconnected functions, which are jointly developed by many person...
详细信息
ISBN:
(纸本)1402081480
the software complexity in modern vehicle electronic systems is increasingly growing. Vehicle projects have to take into account a growing number of interconnected functions, which are jointly developed by many persons in many different companies. For facing these challenges, new design methodologies for a formalized and partially automated software development are required. the DaVinci design methodology has been developed to match the specific requirements of distributed automotive systems. this includes the function-oriented design of the system structure as well as the deployment on a network and software integration on ECUs (electronic control units). Such a design serves as basis for an automatic code generation process, which integrates the applications into an efficient ECU target architecture with real-time operating system (RTOS) and communication stack. Typical scenarios during the development processes like the reuse, exchange and integration of design data are supported and combined with a flexible configuration management. PC-based test environments may be used for functional integration tests or verification of the network communication. this article is supposed to give a brief overview of the methodology as well as some selected aspects of its implementation in the DaVinci tool suite.
the proceedings contain 18 papers. the topics discussed include: undo for operators: building an undoable e-mail store;role classification of hosts within enterprise networks based on connection patterns;a cooperative...
ISBN:
(纸本)1931971102
the proceedings contain 18 papers. the topics discussed include: undo for operators: building an undoable e-mail store;role classification of hosts within enterprise networks based on connection patterns;a cooperative Internet backup scheme;currentcy: a unifying abstraction for expressing energy management policies;design and implementation of power-aware virtual memory;operating system support for virtual machines;application-specific delta-encoding via resemblance detection;opportunistic use of content addressable storage for distributed file systems;and a binary rewriting defense against stack based buffer overflow attacks.
this paper presents a comprehensive, domain-driven framework for software development. It consists of a meta-programmable domain specific modeling environment and a model transformation generator toolset based on grap...
详细信息
ISBN:
(纸本)1581137516
this paper presents a comprehensive, domain-driven framework for software development. It consists of a meta-programmable domain specific modeling environment and a model transformation generator toolset based on graph transformations. the framework allows the creation of custom, domain-oriented programming environments that support end-user programmability. In addition, the framework could be considered an early, end-to-end implementation of the concepts advocated by the OMG's Model Driven Architecture initiative.
the Generative Model Transformer (GMT) project is an Open Source initiative to build a Model Driven Architecure™ tool that allows fully customisable Platform Independent Models, Platform Description Models, Texture Ma...
详细信息
ISBN:
(纸本)1581137516
the Generative Model Transformer (GMT) project is an Open Source initiative to build a Model Driven Architecure™ tool that allows fully customisable Platform Independent Models, Platform Description Models, Texture Mappings, and Refinement Transformations. the project should result in (a) a tool that fulfils the MDA promise for faster/more accurate/better maintainable application development, (b) a tool for industrial use, and (c) MDA related research - which is encouraged and needed. A distinctive feature of GMT is the emphasis of model transformations as "first-class model citizens". the implementation of model transformations is envisaged to be in conformance withthe future OMG modeling standard for Queries, Views, and Transformations (QVT).
the proceedings contain 51 papers. the special focus in this conference is on Information Security. the topics include: Trust mediation for distributed information systems;concerning enterprise network vulnerability t...
ISBN:
(纸本)9781475764895
the proceedings contain 51 papers. the special focus in this conference is on Information Security. the topics include: Trust mediation for distributed information systems;concerning enterprise network vulnerability to HTTP tunneling;a multi-party non-repudiation protocol for exchange of different messages;establishing chain of evidence as a base for non-repudiation services;secure audit logging with tamper-resistant hardware;using keystroke analysis as a mechanism for subscriber authentication on mobile handsets;a time driven methodology for key dimensioning in multicast communications;a flexible category-based collusion-resistant key management scheme for multicast;integrating security into systems development;building an enterprise IT security management system;information security management system;a domain-specific string matching algorithm for intrusion detection;intrusion masking for distributed atomic operations;using fuzzy system to manage false alarms in intrusion detection;an experiment in software decoy design;a user friendly guard with mobile post-release access control policy;security model for health care computing and communication systems;perceptions of security contributing to the implementation of secure IS;perceptions of security contributing to the implementation of secure IS;flexible delegation security for improved distribution in ubiquitous environments;cooperative defense firewall protocol;world framework for security benchmark changes;auditing the behaviour of the employee;bridging the gap between risk analysis and security policies;framework and architecture for secure mobile business applications;on the anonymity of timed pool mixes;privacy in content distribution networks;security, fault-tolerance and their verification for ambient systems;a tool for power analysis of smartcards;assessing security in energy-efficient sensor networks;security characteristics of E-collaboration environments;roadmap for securing handheld devices;lawful cybe
the Generative Model Transformer (GMT) project is an Open Source initiative to build a Model Driven Architecure™ tool that allows fully customisable Platform Independent Models, Platform Description Models, Texture Ma...
详细信息
ISBN:
(纸本)1581137516
the Generative Model Transformer (GMT) project is an Open Source initiative to build a Model Driven Architecure™ tool that allows fully customisable Platform Independent Models, Platform Description Models, Texture Mappings, and Refinement Transformations. the project should result in (a) a tool that fulfils the MDA promise for faster/more accurate/better maintainable application development, (b) a tool for industrial use, and (c) MDA related research - which is encouraged and needed. A distinctive feature of GMT is the emphasis of model transformations as "first-class model citizens". the implementation of model transformations is envisaged to be in conformance withthe future OMG modeling standard for Queries, Views, and Transformations (QVT).
this paper presents a component model for designing and implementing flexible software components in Java. Our model defines a mapping of how the fundamental concepts of component-based development (CBD) should be imp...
详细信息
this paper presents a component model for designing and implementing flexible software components in Java. Our model defines a mapping of how the fundamental concepts of component-based development (CBD) should be implemented using the object-oriented (OO) constructs, available in the Java programming language. the benefit of this mapping is to shorten the distance between component-based software architecture and its implementation, enhancing the reusability, adaptability and maintainability of component-based software systems.
the Parks PDA is a lightweight, handheld device for theme park guests that functions as a combination guidebook, map, and digital camera. Together with a small team of artists and designers, we created a prototype Par...
详细信息
ISBN:
(纸本)1581137516
the Parks PDA is a lightweight, handheld device for theme park guests that functions as a combination guidebook, map, and digital camera. Together with a small team of artists and designers, we created a prototype Parks PDA and content for a three hour guest experience, including a camera interface, a hyper-linked guide book, three games, an animal spotters guide, a cross-referenced map, animated movies with lip-synched sound, a ride reservation system, and more. Over 800 visitors to Disney's Animal Kingdom. theme park tested the Parks PDA over a two week period. Developing the software for this test posed a number of challenges. the processor and memory of the target device were slow, the screen was small, and we had only three months of development time. We attacked these problems using Squeak, a highly-portable, open source Smalltalk implementation. We ported Squeak to the target device and used it to provide nearly bit-identical behavior across four different platforms. this supported a cross-platform development style that streamlined the production of both software and content. We created a tiny user interface and application framework for pen-based devices and implemented a simple card-stack media editor and player using it. We isolated and addressed several challenging performance issues. the project was completed on time and guest response was favorable. Looking back, we can identify seven aspects of Squeak that contributed to the success of the project. In fact, we feel that Squeak was the ideal tool for this job.
In this paper we present a model of version and configuration management in the early phases of software development and an implementation of this model. We assume that software documents are modeled in a fine-grained...
详细信息
ISBN:
(纸本)0769518192
In this paper we present a model of version and configuration management in the early phases of software development and an implementation of this model. We assume that software documents are modeled in a fine-grained way, that they are stored as syntax trees in XML files or a repository system, and that tools directly operate on these syntax trees. In contrast to file-based systems, structural changes in the document, e.g. the shifting of a method between two classes, can be identified in our model. Configurations allow us to manage groups of single modifications;such a group will mostly correspond to a specific design task or a similar activity. Configurations are thus a means to establish a connection to a change management system.
In the current "Syntactic Web", uninterpreted syntactic constructs are given meaning only by private off-line agreements that are inaccessible to computers. In the Semantic Web vision, this is replaced by a ...
详细信息
In the current "Syntactic Web", uninterpreted syntactic constructs are given meaning only by private off-line agreements that are inaccessible to computers. In the Semantic Web vision, this is replaced by a web where both data and its semantic definition are accessible and manipulable by computer software. DAML+OIL is an ontology language specifically designed for this use in the Web;it exploits existing Web standards (XML and RDF), adding the familiar ontological primitives of object oriented and frame based systems, and the formal rigor of a very expressive description logic. the definition of DAML+OIL is now over a year old, and the language has been in fairly widespread use. In this paper, we review DAML+OIL's relation with its key ingredients (XML, RDF, OIL, DAML-ONT, Description Logics), we discuss the design decisions and trade-offs that were the basis for the language definition, and identify a number of implementation challenges posed by the current language. these issues are important for designers of other representation languages for the Semantic Web, be they competitors or successors of DAML+OIL, such as the language currently under definition by W3C.
暂无评论