Nothing Special   »   [go: up one dir, main page]

Farzaneh et al., 2017 - Google Patents

A graphical modeling tool supporting automated schedule synthesis for time-sensitive networking

Farzaneh et al., 2017

View PDF
Document ID
16002304487156060580
Author
Farzaneh M
Kugele S
Knoll A
Publication year
Publication venue
2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)

External Links

Snippet

Time-Sensitive Networking (TSN) is a set of new standards which is being developed by the Institute of Electrical and Electronics Engineers to support mixed-criticality requirements based on Ethernet technology. These standards have recently raised the attention of real …
Continue reading at mediatum.ub.tum.de (PDF) (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
    • 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]
    • H04L12/46—Interconnection of networks
    • H04L12/4604—LAN interconnection over a backbone network, e.g. Internet, Frame Relay
    • H04L12/462—LAN interconnection over a bridge based backbone
    • 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/50—Network service management, i.e. ensuring proper service fulfillment according to an agreement or contract between two parties, e.g. between an IT-provider and a customer
    • H04L41/5041—Service implementation
    • 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/08—Configuration management of network or network elements
    • H04L41/0803—Configuration setting of network or network elements
    • 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/08—Configuration management of network or network elements
    • H04L41/0893—Assignment of logical groupings to network elements; Policy based network management or configuration
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G06F8/35—Model driven
    • 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
    • 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
    • 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/12—Arrangements for maintenance or administration or management of packet switching networks network topology discovery or management
    • 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/14—Arrangements for maintenance or administration or management of packet switching networks involving network analysis or design, e.g. simulation, network model or planning
    • H04L41/145—Arrangements for maintenance or administration or management of packet switching networks involving network analysis or design, e.g. simulation, network model or planning involving simulating, designing, planning or modelling of a network
    • 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/04—Architectural aspects of network management arrangements
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L45/00—Routing or path finding of packets in data switching networks
    • H04L45/02—Topology update or discovery

Similar Documents

Publication Publication Date Title
Farzaneh et al. A graphical modeling tool supporting automated schedule synthesis for time-sensitive networking
Trois et al. A survey on SDN programming languages: Toward a taxonomy
Farzaneh et al. An ontology-based Plug-and-Play approach for in-vehicle Time-Sensitive Networking (TSN)
Carlson et al. SaveCCM: An analysable component model for real-time systems
Sirjani et al. On time actors
Yang et al. TC-Flow: Chain flow scheduling for advanced industrial applications in time-sensitive networks
Farzaneh et al. Formally verifiable modeling of in-vehicle time-sensitive networks (TSN) based on logic programming
Mubeen et al. Holistic modeling of time sensitive networking in component-based vehicular embedded systems
Shin et al. Verification for NFV-enabled network services
Sirjani Power is overrated, go for friendliness! expressiveness, faithfulness, and usability in modeling: the actor experience
Kim et al. Formal verification of SDN-based firewalls by using TLA+
Dzeparoska et al. Towards a self-driving management system for the automated realization of intents
Rotsos et al. Reasonet: Inferring network policies using ontologies
Glasser et al. High-level executable specification of the universal plug and play architecture
Askaripoor et al. E/E Designer: a Framework to Design and Synthesize Vehicle E/E Architecture
Kröger et al. Handling of operating modes in contract-based timing specifications
Askaripoor et al. A model-based approach to facilitate design of homogeneous redundant e/e architectures
Alshareef et al. Using DEVS for full life cycle model-based system engineering in complex network design
Hashemi Farzaneh A modeling framework to facilitate schedule synthesis of time-sensitive networking
Durán et al. Statistical model checking of e-Motions domain-specific modeling languages
Bergström Automatic generation of network configuration in simulated time sensitive networking (TSN) applications
Nah et al. TMO-structured cluster-based real-time management of location data on massive volume of moving items
Schneider Automatic network configuration for real-time, distributed industrial automation systems
Sabahi-Kaviani et al. Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude
Hashemi Farzaneh et al. Model-based Schedule Synthesis in Time-Sensitive Networks