skip to content
Languages, design methods, and tools for electronic system design : selected contributions from FDL 2018 Preview this item
ClosePreview this item
Checking...

Languages, design methods, and tools for electronic system design : selected contributions from FDL 2018

Author: Thomas J Kaźmierski; Sebastian Steinhorst; Daniel Grosse
Publisher: Cham : Springer, 2020.
Series: Lecture notes in electrical engineering, v. 611.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Print version:
Kazmierski, Tom J.
Languages, Design Methods, and Tools for Electronic System Design : Selected Contributions from FDL 2018
Cham : Springer,c2020
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Thomas J Kaźmierski; Sebastian Steinhorst; Daniel Grosse
ISBN: 9783030315856 3030315851
OCLC Number: 1134073255
Notes: Description based upon print version of record.
4.3 Overhead Consideration
Includes index.
Description: 1 online resource (197 p.).
Contents: Intro --
Preface --
Contents --
Time in SCCharts --
1 Introduction --
1.1 Contributions and Outline --
2 Timed Automata in SCCharts --
2.1 The Traffic Light Controller Example --
2.2 Requirements for Time in SCCharts --
2.3 From Specification to Behavior: The Eager Semantics --
2.4 Timed SCCharts --
3 When to React? --
3.1 Event-Triggered Execution --
3.2 Time-Triggered Execution --
3.3 The Multiform Notion of Time --
3.4 Dynamic Ticks --
4 Dynamic Ticks in SCCharts --
4.1 The Traffic Light Controller with Dynamic Ticks --
4.2 How to Compute Sleep Times 4.3 Hard vs. Soft Bounds: The Greedy Semantics --
4.4 Hard vs. Soft Resets: Managing Time --
5 Multiclock SCCharts --
5.1 The Motor Example --
6 Extension with Clock Patterns --
7 Related Work --
8 Conclusions and Outlook --
References --
Generation of Functional Mockup Units for Transactional Cyber-Physical Virtual Platforms --
1 Introduction --
2 Background and Related Work --
2.1 fmi Standard 2.0 for Co-simulation --
2.2 Simulation Coordination in the fmi Standard --
2.3 Related Work --
3 FMI Standard Advantages and Limitations --
4 Methodology 4.1 fmu Generation and Timing Backward Propagation --
4.2 A Better Coordinator for Discrete Systems --
5 Methodology Application --
6 Recent Development and Discussion --
7 Concluding Remarks --
References --
Safe Interoperability for Web of Things Devices and Systems --
1 Introduction --
2 Thing Description --
3 Describing Sequential Behavior --
3.1 Describing Sequential Behavior in a Single Thing --
3.2 Composing a System --
3.3 Worldwide Scalability --
4 Case Study: Testing with Path Semantics --
4.1 Single Thing Testing --
4.2 System Level Testing --
5 Related Work --
6 Discussion 7 Conclusion --
References --
Automatic Design of Microfluidic Devices: An Overview of Platforms and Corresponding Design Tasks --
1 Introduction --
2 Electrowetting-Based Microfluidic Devices --
2.1 The Platform --
2.2 The Design Process --
3 Flow-Based Microfluidic Devices --
3.1 The Platform --
3.2 The Design Process --
4 Passive Routing Concepts for Microfluidic Devices --
4.1 The Platform --
4.2 The Design Process --
5 Conclusions --
References --
A New Ageing-Aware Approach via Path Isolation --
1 Introduction --
2 BTI Effect and Delay Degradation --
2.1 Transistor-Level BTI Modelling 2.2 Circuit-Level BTI Degradations --
3 Proposed Ageing-Aware Approach --
3.1 Motivational Example --
3.2 Algorithm for Path Isolation --
4 Case Study of a FIR Filter --
4.1 VLSI Implementation --
4.2 Experimental Results --
5 Conclusion --
References --
SystemC Coding Guideline for Faster Out-of-Order Parallel Discrete Event Simulation --
1 Introduction --
1.1 Related Work --
2 SG Granularity and Simulation Speed --
3 Recoding Infrastructure for SystemC --
3.1 Segment Graph --
3.2 Data and Event Conflicts --
4 Proposed Coding Guideline --
4.1 Estimation for Level of Parallelism --
4.2 Motivation
Series Title: Lecture notes in electrical engineering, v. 611.
Other Titles: FDL 2018
Responsibility: Tom J. Kazmierski, Sebastian Steinhorst, Daniel Große, editors.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/1134073255> # Languages, design methods, and tools for electronic system design selected contributions from FDL 2018
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
    library:oclcnum "1134073255" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/sz> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/5447694214#Place/cham> ; # Cham
    schema:about <http://experiment.worldcat.org/entity/work/data/5447694214#Topic/computer_software_verification> ; # Computer software--Verification
    schema:about <http://experiment.worldcat.org/entity/work/data/5447694214#Topic/computer_hardware_description_languages> ; # Computer hardware description languages
    schema:about <http://dewey.info/class/004.0151/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/5447694214#Topic/software_engineering> ; # Software engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/5447694214#Topic/formal_methods_computer_science> ; # Formal methods (Computer science)
    schema:about <http://experiment.worldcat.org/entity/work/data/5447694214#Topic/software_architecture> ; # Software architecture
    schema:alternateName "FDL 2018" ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/5447694214#Person/grosse_daniel> ; # Daniel Grosse
    schema:contributor <http://experiment.worldcat.org/entity/work/data/5447694214#Person/steinhorst_sebastian> ; # Sebastian Steinhorst
    schema:contributor <http://experiment.worldcat.org/entity/work/data/5447694214#Person/kazmierski_thomas_j> ; # Thomas J. Kaźmierski
    schema:creator <http://experiment.worldcat.org/entity/work/data/5447694214#Meeting/fdl_conference_2018_munich_germany> ; # FDL (Conference) (2018 : Munich, Germany)
    schema:datePublished "2020" ;
    schema:description "Intro -- Preface -- Contents -- Time in SCCharts -- 1 Introduction -- 1.1 Contributions and Outline -- 2 Timed Automata in SCCharts -- 2.1 The Traffic Light Controller Example -- 2.2 Requirements for Time in SCCharts -- 2.3 From Specification to Behavior: The Eager Semantics -- 2.4 Timed SCCharts -- 3 When to React? -- 3.1 Event-Triggered Execution -- 3.2 Time-Triggered Execution -- 3.3 The Multiform Notion of Time -- 3.4 Dynamic Ticks -- 4 Dynamic Ticks in SCCharts -- 4.1 The Traffic Light Controller with Dynamic Ticks -- 4.2 How to Compute Sleep Times"@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/5447694214> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/5447694214#Series/lecture_notes_in_electrical_engineering_ser> ; # Lecture Notes in Electrical Engineering Ser. ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/5447694214#Series/lecture_notes_in_electrical_engineering> ; # Lecture notes in electrical engineering ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/5447694214#CreativeWork/languages_design_methods_and_tools_for_electronic_system_design_selected_contributions_from_fdl_2018> ;
    schema:name "Languages, design methods, and tools for electronic system design selected contributions from FDL 2018"@en ;
    schema:productID "1134073255" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/1134073255#PublicationEvent/cham_springer_2020> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/5447694214#Agent/springer> ; # Springer
    schema:url <http://public.eblib.com/choice/PublicFullRecord.aspx?p=6000795> ;
    schema:url <https://doi.org/10.1007/978-3-030-31585-6> ;
    schema:workExample <http://worldcat.org/isbn/9783030315856> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1134073255> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/5447694214#Meeting/fdl_conference_2018_munich_germany> # FDL (Conference) (2018 : Munich, Germany)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/5447694214#Place/munich_germany> ; # Munich, Germany)
    schema:name "FDL (Conference) (2018 : Munich, Germany)" ;
    .

<http://experiment.worldcat.org/entity/work/data/5447694214#Person/grosse_daniel> # Daniel Grosse
    a schema:Person ;
    schema:familyName "Grosse" ;
    schema:givenName "Daniel" ;
    schema:name "Daniel Grosse" ;
    .

<http://experiment.worldcat.org/entity/work/data/5447694214#Person/kazmierski_thomas_j> # Thomas J. Kaźmierski
    a schema:Person ;
    schema:familyName "Kaźmierski" ;
    schema:givenName "Thomas J." ;
    schema:name "Thomas J. Kaźmierski" ;
    .

<http://experiment.worldcat.org/entity/work/data/5447694214#Person/steinhorst_sebastian> # Sebastian Steinhorst
    a schema:Person ;
    schema:familyName "Steinhorst" ;
    schema:givenName "Sebastian" ;
    schema:name "Sebastian Steinhorst" ;
    .

<http://experiment.worldcat.org/entity/work/data/5447694214#Place/munich_germany> # Munich, Germany)
    a schema:Place ;
    schema:name "Munich, Germany)" ;
    .

<http://experiment.worldcat.org/entity/work/data/5447694214#Series/lecture_notes_in_electrical_engineering> # Lecture notes in electrical engineering ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1134073255> ; # Languages, design methods, and tools for electronic system design selected contributions from FDL 2018
    schema:name "Lecture notes in electrical engineering ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/5447694214#Series/lecture_notes_in_electrical_engineering_ser> # Lecture Notes in Electrical Engineering Ser. ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1134073255> ; # Languages, design methods, and tools for electronic system design selected contributions from FDL 2018
    schema:name "Lecture Notes in Electrical Engineering Ser. ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/5447694214#Topic/computer_hardware_description_languages> # Computer hardware description languages
    a schema:Intangible ;
    schema:name "Computer hardware description languages"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5447694214#Topic/computer_software_verification> # Computer software--Verification
    a schema:Intangible ;
    schema:name "Computer software--Verification"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5447694214#Topic/formal_methods_computer_science> # Formal methods (Computer science)
    a schema:Intangible ;
    schema:name "Formal methods (Computer science)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5447694214#Topic/software_architecture> # Software architecture
    a schema:Intangible ;
    schema:name "Software architecture"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/5447694214#Topic/software_engineering> # Software engineering
    a schema:Intangible ;
    schema:name "Software engineering"@en ;
    .

<http://worldcat.org/entity/work/data/5447694214#CreativeWork/languages_design_methods_and_tools_for_electronic_system_design_selected_contributions_from_fdl_2018>
    a schema:CreativeWork ;
    rdfs:label "Languages, Design Methods, and Tools for Electronic System Design : Selected Contributions from FDL 2018" ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/1134073255> ; # Languages, design methods, and tools for electronic system design selected contributions from FDL 2018
    .

<http://worldcat.org/isbn/9783030315856>
    a schema:ProductModel ;
    schema:isbn "3030315851" ;
    schema:isbn "9783030315856" ;
    .

<http://www.worldcat.org/title/-/oclc/1134073255>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/1134073255> ; # Languages, design methods, and tools for electronic system design selected contributions from FDL 2018
    schema:dateModified "2020-02-15" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.