[go: up one dir, main page]

Glässer et al., 2002 - Google Patents

Universal plug and play machine models: modeling with distributed abstract state machines

Glässer et al., 2002

Document ID
9066694532873601325
Author
Glässer U
Veanes M
Publication year
Publication venue
IFIP Working Conference on Distributed and Parallel Embedded Systems

External Links

Snippet

We present a high-level executable specification for the Universal Plug and Play (UPnP) standard illustrating the use of Abstract State Machine (ASM) technology as a practical tool for applied systems engineering. The concept of distributed real-time ASM allows us to …
Continue reading at link.springer.com (other versions)

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for programme control, e.g. control unit
    • G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
    • G06F9/46—Multiprogramming arrangements
    • G06F9/54—Interprogramme communication; Intertask communication
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/50—Computer-aided design
    • G06F17/5009—Computer-aided design using simulation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for programme control, e.g. control unit
    • G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
    • G06F9/44—Arrangements for executing specific programmes
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L12/00—Data switching networks
    • H04L12/28—Data switching networks characterised by path configuration, e.g. local area networks [LAN], wide area networks [WAN]
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L69/00—Application independent communication protocol aspects or techniques in packet data networks
    • H04L69/30—Definitions, standards or architectural aspects of layered protocol stacks
    • H04L69/32—High level architectural aspects of 7-layer open systems interconnection [OSI] type protocol stacks
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L41/00—Arrangements for maintenance or administration or management of packet switching networks
    • H04L41/02—Arrangements for maintenance or administration or management of packet switching networks involving integration or standardization
    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B19/00—Programme-control systems
    • G05B19/02—Programme-control systems electric
    • G05B19/04—Programme control other than numerical control, i.e. in sequence controllers or logic controllers
    • G05B19/042—Programme control other than numerical control, i.e. in sequence controllers or logic controllers using digital processors
    • G05B19/0426—Programming the control sequence
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L29/00—Arrangements, apparatus, circuits or systems, not covered by a single one of groups H04L1/00 - H04L27/00 contains provisionally no documents
    • H04L29/02—Communication control; Communication processing contains provisionally no documents
    • H04L29/06—Communication control; Communication processing contains provisionally no documents characterised by a protocol

Similar Documents

Publication Publication Date Title
US7149678B2 (en) High level executable network abstract machine
Weisenburger et al. Distributed system development with ScalaLoci
Fu et al. Conversation protocols: A formalism for specification and verification of reactive electronic services
Glasser et al. Abstract communication model for distributed systems
Sirjani Rebeca: Theory, applications, and tools
Glässer et al. Universal Plug and Play Machine Models.
Shankland et al. The tree identify protocol of IEEE 1394 in μCRL
Glasser et al. High-level executable specification of the universal plug and play architecture
Pettit IV et al. Modeling behavioral design patterns of concurrent objects
Arad et al. Developing, simulating, and deploying peer-to-peer systems using the kompics component model
Hoeben Using UML models for performance calculation
Glässer et al. Universal plug and play machine models: modeling with distributed abstract state machines
Daszczuk Fairness in temporal verification of distributed systems
Kokash et al. From timed Reo networks to networks of timed automata
Glässer et al. An abstract communication model
Venkatasubramanian et al. A semantic framework for modeling and reasoning about reflective middleware
Hall et al. Omml: A behavioural model interchange format
Veanes High-Level Executable Specification of the Universal Plug and Play Architecture
Jézéquel et al. Validating distributed software modeled with the Unified Modeling Language
Shankland et al. A case study in abstraction using E-LOTOS and the FireWire
Stein Allowing Flexibility in Critical Systems: The EPOC Framework
Lekidis Automated Code Generation for Industrial Applications Based on Configurable Programming Models
Pettit et al. Modeling behavioral patterns of concurrent objects using Petri nets
Kühl et al. Reusable and flexible design of communication gateways
Ricciulli High-fidelity distributed simulation of local area networks