By Topic

Model-based Methodologies for Pervasive and Embedded Software, 2008. MOMPES 2008. 5th International Workshop on

Date 5-5 April 2008

Filter Results

Displaying Results 1 - 17 of 17
  • [Front cover]

    Publication Year: 2008, Page(s): C1
    Request permission for commercial reuse | PDF file iconPDF (76 KB)
    Freely Available from IEEE
  • [Title page i]

    Publication Year: 2008, Page(s): i
    Request permission for commercial reuse | PDF file iconPDF (43 KB)
    Freely Available from IEEE
  • [Title page iii]

    Publication Year: 2008, Page(s): iii
    Request permission for commercial reuse | PDF file iconPDF (75 KB)
    Freely Available from IEEE
  • [Copyright notice]

    Publication Year: 2008, Page(s): iv
    Request permission for commercial reuse | PDF file iconPDF (61 KB)
    Freely Available from IEEE
  • Table of contents

    Publication Year: 2008, Page(s): v
    Request permission for commercial reuse | PDF file iconPDF (81 KB)
    Freely Available from IEEE
  • Message from the Organizers

    Publication Year: 2008, Page(s): vi
    Request permission for commercial reuse | PDF file iconPDF (80 KB) | HTML iconHTML
    Freely Available from IEEE
  • Committees

    Publication Year: 2008, Page(s): vii
    Request permission for commercial reuse | PDF file iconPDF (72 KB)
    Freely Available from IEEE
  • Towards a Model-Based Approach for Context-Aware Composition and Adaptation: A Case Study using WF/.NET

    Publication Year: 2008, Page(s):3 - 13
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (773 KB) | HTML iconHTML

    Developing software systems by assembling pre-existing software components (COTS), requires a composition and adaptation process of the component interfaces to solve both syntactical and behavioural mismatches. The use of context-aware computing is important in applications where the context changes depending on the conditions of the environment, as is the case in mobile and pervasive computing. T... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Framework for Defining Model Language Metamodels for CASE Tools

    Publication Year: 2008, Page(s):14 - 23
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (497 KB) | HTML iconHTML

    This paper presents a framework for defining metamodels. The main goal of this framework is to achieve the model interchange among CASE tools. This framework adds the CASE tools issues to the definitions of the model languages. The presented framework contains four internal metamodels. Firstly, a metamodel specifies the abstract syntax of the model language. Secondly, another metamodel specifies t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Separation of Distributed Real-Time Embedded Concerns with Theme/UML

    Publication Year: 2008, Page(s):27 - 33
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (288 KB) | HTML iconHTML

    Model-driven engineering (MDE) addresses platform complexity issues by abstracting platform- independent models for subsequent transformation to platform-specific models. This facilitates the design of a single system model and the subsequent generation of multiple model transformations targeted towards specific platforms. However, the increasing complexity of distributed real-time embedded (DRE) ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Aspect-Oriented Executable UML Models for Context-Aware Pervasive Applications

    Publication Year: 2008, Page(s):34 - 43
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (427 KB) | HTML iconHTML

    Pervasive applications must be aware of the contexts where they are executed. These contexts may vary greatly from each other and may change quickly. Thus, pervasive applications should be highly reconfigurable in order to deal with such context changes. There are two main problems associated with this issue: (1) context- awareness is a crosscutting concern that can not be well- encapsulated in a ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Case Study to Evaluate Pros/Cons of Aspect- and Object-Oriented Paradigms to Model Distributed Embedded Real-Time Systems

    Publication Year: 2008, Page(s):44 - 54
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (276 KB) | HTML iconHTML

    The growing design complexity of today's embedded real-time systems requires new techniques aiming the raising of the abstraction level since earlier stages of design in order to deal with such complexity in a suitable way. This paper reports a case study, which provides an assessment of two well-know high- level paradigms, namely aspect- (AO) and object- oriented (00) paradigms. Concepts of both ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Architectural Concurrency Equivalence with Chaotic Models

    Publication Year: 2008, Page(s):57 - 67
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (271 KB) | HTML iconHTML

    During its lifetime, embedded systems go through multiple changes to their runtime architecture. That is, threads, processes, and processor are added or removed to/from the software and hardware. These additions can have multiple motivations such as adding tolerance to failures or changes in the hardware architecture for new releases of the system. During these modifications, one of the big challe... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software Quality Metrics and their Impact on Embedded Software

    Publication Year: 2008, Page(s):68 - 77
    Cited by:  Papers (12)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (394 KB) | HTML iconHTML

    Although many improvements for software development are proposed by software engineers, the embedded system community faces a hard task in applying these improvements to software development, due to the strong dependence between software and hardware in embedded systems, which raises a trade-off between software quality, measured by traditional metrics, and optimization for a specific platform. Tr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Initial Work in the Design and Development of Verifiable Workflow Management Systems and Some Applications to Health Care

    Publication Year: 2008, Page(s):78 - 91
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (396 KB) | HTML iconHTML

    Workflows describe work processes as sequences of tasks and information regarding who performs them and their relative order. Workflows have been found useful to describe processes in a number of industries. This work focuses on workflows used in health care. Formal verification is the growing field of formalizing and verifying specifications for hardware and software systems. Many health care sof... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Author index

    Publication Year: 2008, Page(s): 92
    Request permission for commercial reuse | PDF file iconPDF (24 KB)
    Freely Available from IEEE
  • [Roster]

    Publication Year: 2008, Page(s): 94
    Request permission for commercial reuse | PDF file iconPDF (144 KB) | HTML iconHTML
    Freely Available from IEEE