334 research outputs found
Abstract State Machines 1988-1998: Commented ASM Bibliography
An annotated bibliography of papers which deal with or use Abstract State
Machines (ASMs), as of January 1998.Comment: Also maintained as a BibTeX file at http://www.eecs.umich.edu/gasm
A survey of agent-oriented methodologies
This article introduces the current agent-oriented methodologies. It discusses what approaches have been followed (mainly extending existing object oriented and knowledge engineering methodologies), the suitability of these approaches for agent modelling, and some conclusions drawn from the survey
Testing abstract behavioral specifications
We present a range of testing techniques for the Abstract Behavioral Specification (ABS) language and apply them to an industrial case study. ABS is a formal modeling language for highly variable, concurrent, component-based systems. The nature of these systems makes them susceptible to the introduction of subtle bugs that are hard to detect in the presence of steady adaptation. While static analysis techniques are available for an abstract language such as ABS, testing is still indispensable and complements analytic methods. We focus on fully automated testing techniques including black-box and glass-box test generation as well as runtime assertion checking, which are shown to be effective in an industrial setting
The 14th Overture Workshop: Towards Analytical Tool Chains
This report contains the proceedings from the 14th Overture workshop organized in connection with the Formal Methods 2016 symposium. This includes nine papers describing different technological progress in relation to the Overture/VDM tool support and its connection with other tools such as Crescendo, Symphony, INTO-CPS, TASTE and ViennaTalk
Recommended from our members
Requirements modelling of real-time systems
Real-time systems are characterised by the critical nature of their missions, and the demanding environment with which they interact. Real-time systems are used for dedicated applications. Every application is the subject of special requirements enforced by the customer. Considering the vital role that these systems play, it is imperative that a systematic approach be adopted in modelling their unique requirements. In this thesis I propose such a treatment.
Real-time systems are time critical. Temporal requirements are the timing restrictions imposed by the application environment. Previous studies in requirements modelling of real-time systems have focused on adding the notion of time to modelling techniques of traditional systems without regard to the realities of requirements modelling. The information should be presented in the way the user handles it, and not the way which is convenient to the software engineer. I attempt to understand the needs of the users better by modelling the real world as close to the user's perspective as possible, and propose the Real World Model (RWM). RWM is assumed to be developed by users, and requirements engineers. An engineering approach to building the model is provided.
A real-time system has a well defined use to its community. A requirements model must rely on the user level activities, and aid the human understanding and communication. In the RWM, a real-time system is viewed as a set of concurrently acting automata, each representing a system entity. This model supports temporal reasoning in easily described ways, for all classes of timing properties. A generalised classification of timing constraints is provided.
A requirements modelling language facilitates the description of requirements, and serves as a medium of communication among developers and stakeholders. Jarke et al [Jarke 94] observe that there is a need for a requirements language that manages the relationship between the meta-level domain scheme, and the scenarios that actually instantiate the scheme under development. Here I propose Timed Requirements Language (TRL) to bridge this gulf between the world of stakeholders, and the world of specifiers. TRL has natural looking expressions for formulating the needs. TRL has a number of novel features including the treatment of causality, and the description of static, and dynamic constraints all integrated into one uniform framework. TRL has been used with a number of systems. The generality of the language is validated through its application to specific systems
DIGITAL CO-CREATION Digitalization within Service Design : Transformation from analog thinking towards digital doing
The German automotive industry has accelerated its digital transformation as OEMs (Original Equipment Manufacturers) moving from car manufacturers towards becoming mobility providers, striving for new mobility solutions like offering Mobility as a Service (MaaS), Electric Vehicles (EVs) and Self-Driving-System (SDS). OEMs focus on expanding their core product-driven businesses to access service-orientated business models, the transformation from ownership towards shared mobility. Considering internal and external factors, this requires a new set of expertise, capabilities and an underlying approach to fulfill the demands in the complexity of human-centered development and front- and backstage alignment within the organization. At the same time, Service Design as a practice has risen in attraction by industry, being recognized and increasingly requested for its integration in the functions and divisions of the organization. The scale of Service Design in influence and impact has reached professional practice, making its way from a trendy buzzword to professional practice of turning complex problems collaboratively into tangible solutions. It is seen as a powerful opportunity for combining Business, Human-Centered Design and Engineering. Service Design establishes new ways of exploring business opportunities towards agile problem-solving but focuses on the ‘doing’ side towards further implementation.
The contribution of this industrial-based doctoral thesis shall define how Service Design can be deployed and implemented in the field of organizational transformation and mobility development in the era of digital transformation (Digitalization). This research approach seeks to acquire new knowledge on how the Service Design practice can be applied and executed to be perceived as a practical approach to improve the enterprise’s processes and operating procedures and also provide a strategy to grow Service Design within the organization. This research has followed developing a pilot in a lean start-up approach of build, measure, learn with various business units and brands within the Volkswagen Group, this also implies that this research case study consisted of analyzing the Volkswagen Group needs for Service Design.
The ‘10X-Service Design Lab’ (10X-SDL) has been designed as the framework of a combination of modular lab space, facilitation enhanced process, methodological driven tool box, operational model in alignment with a digital workflow and workspace striving for accelerated decision making. It is based on the hypothesis that the proposed framework enhances Service Design practice and, at the same time, it increases its attractiveness for business purposes. The 10X-SDL is designed to accelerate project development in a human-centered and holistic way by an open workspace platform lead by facilitators on which project developers, participants, and stakeholders can digitally co-create products, services, systems, and strategies.
This research has been conducted as a case study within the Volkswagen Group from 2015 to 2019 in cooperation with the main partners of Service Innovation Corner (SINCO) of the University of Lapland and visual collaboration software company DEON
Embedded System Design
A unique feature of this open access textbook is to provide a comprehensive introduction to the fundamental knowledge in embedded systems, with applications in cyber-physical systems and the Internet of things. It starts with an introduction to the field and a survey of specification models and languages for embedded and cyber-physical systems. It provides a brief overview of hardware devices used for such systems and presents the essentials of system software for embedded systems, including real-time operating systems. The author also discusses evaluation and validation techniques for embedded systems and provides an overview of techniques for mapping applications to execution platforms, including multi-core platforms. Embedded systems have to operate under tight constraints and, hence, the book also contains a selected set of optimization techniques, including software optimization techniques. The book closes with a brief survey on testing. This fourth edition has been updated and revised to reflect new trends and technologies, such as the importance of cyber-physical systems (CPS) and the Internet of things (IoT), the evolution of single-core processors to multi-core processors, and the increased importance of energy efficiency and thermal issues
- …