2018 Forum on Specification & Design Languages (FDL)最新文献

SmaCoNat: Smart Contracts in Natural Language SmaCoNat:自然语言中的智能合约

2018 Forum on Specification & Design Languages (FDL) Pub Date : 2018-09-01 DOI: 10.1109/FDL.2018.8524068

Emanuel Regnath, S. Steinhorst

{"title":"SmaCoNat: Smart Contracts in Natural Language","authors":"Emanuel Regnath, S. Steinhorst","doi":"10.1109/FDL.2018.8524068","DOIUrl":"https://doi.org/10.1109/FDL.2018.8524068","url":null,"abstract":"Smart contracts enable autonomous decentralized organizations (DADs) in large, trustless and open trading networks by specifying conditions for automated transactions of cryptographically secured data. This data could represent cryptocurrencies but also sensor data or commands to Cyber-Physical Systems (CPS) connected to the Internet. To provide reliability, the contract code is enforced by consensus and the transactions it triggers are nonrevertible, even if they were not intended by the programmer, which could lead to dangerous system behavior. In this paper, we conduct a survey over existing smart contract platforms and languages to determine requirements for the design of a safer contract language. Subsequently we propose concepts that enhance the understanding of code by limiting confusing language constructs, such as nesting, arbitrary naming of operations, and unreadable hash identifiers. This enables human reasoning about the contract semantics on a much higher abstraction layer, because a common understanding can be derived from the language specification itself. We implement these concepts in a new domain specific language called SmaCoNat to illustrate the feasibility and show that our concepts are barely covered by existing languages but significantly enhance readability and safety without violating deterministic parsability.","PeriodicalId":177164,"journal":{"name":"2018 Forum on Specification & Design Languages (FDL)","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120975193","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 21

Symbolic Simulation of SystemC AMS Without Yet Another Compiler 没有其他编译器的SystemC AMS符号模拟

2018 Forum on Specification & Design Languages (FDL) Pub Date : 2018-09-01 DOI: 10.1109/FDL.2018.8524061

Carna Zivkovic, C. Grimm

引用次数: 2

Time in SCCharts scc图表中的时间

2018 Forum on Specification & Design Languages (FDL) Pub Date : 2018-09-01 DOI: 10.1109/FDL.2018.8524111

Alexander Schulz-Rosengarten, R. V. Hanxleden, F. Mallet, R. Simone, Julien Deantoni

引用次数: 7

Transaction-level Functional Mockup Units for Cyber-Physical Virtual Platforms 网络物理虚拟平台的事务级功能模型单元

2018 Forum on Specification & Design Languages (FDL) Pub Date : 2018-09-01 DOI: 10.1109/FDL.2018.8524083

Stefano Centomo, M. Lora, F. Fummi

{"title":"Transaction-level Functional Mockup Units for Cyber-Physical Virtual Platforms","authors":"Stefano Centomo, M. Lora, F. Fummi","doi":"10.1109/FDL.2018.8524083","DOIUrl":"https://doi.org/10.1109/FDL.2018.8524083","url":null,"abstract":"The modelling process of Cyber-physical Systems aggregates semantics and languages tailored to different specific domains. The simulation of these complex systems involves different tools and their coupling requires computational effort. In the last few years both Academy and Industry worked toward the definition of standard interfaces able to overcome such issues. The Functional Mock-up Interface (FMI) standard emerged as one of the most promising tool to easily export and integrate heterogeneous models. However, the standard still shows some weaknesses, particularly when dealing with Functional Mock-up Units (FMUs) describing discrete-event systems. This paper explore the features of the standard to find its shortcomings when dealing with discrete models. Then, it proposes a systematic approach to fully exploit the features of the current standards to overcome such limitations. The solution is based on two concepts: (1) exposing the internal time of the FMUs, and (2) exploits the newly exposed information to implement temporal decoupling. The combination of these two concepts allows to optimize the FMUs coordination algorithms. It reduces the number synchronization points and move the simulation from cycle-accurate to transaction-accurate. The impact of these optimizations is measured on a set of benchmarks having different tread-offs of computation and control.","PeriodicalId":177164,"journal":{"name":"2018 Forum on Specification & Design Languages (FDL)","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131076358","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 3

A New Ageing-Aware Approach Via Path Isolation 一种新的基于路径隔离的老化感知方法

2018 Forum on Specification & Design Languages (FDL) Pub Date : 2018-09-01 DOI: 10.1109/FDL.2018.8524033

Yue Lu, Shengyu Duan, T. Kazmierski

引用次数: 0

Dynamic Inside-Out Verification Using Inverse Transactions in TLM TLM中基于逆事务的动态内外验证

2018 Forum on Specification & Design Languages (FDL) Pub Date : 2018-09-01 DOI: 10.1109/FDL.2018.8524048

Tobias Strauch

引用次数: 0

Using SysML for Modelling and Code Generation for Smart Sensor ASICs 用SysML进行智能传感器asic的建模和代码生成

2018 Forum on Specification & Design Languages (FDL) Pub Date : 2018-09-01 DOI: 10.1109/FDL.2018.8524051

Aljoscha Kirchner, Jan-Hendrik Oetjens, O. Bringmann

引用次数: 3

Cyber-Physical System for Industrial Control Automation Based on the Holonic Approach and the IEC 61499 Standard 基于全息方法和IEC 61499标准的工业控制自动化信息物理系统

2018 Forum on Specification & Design Languages (FDL) Pub Date : 2018-09-01 DOI: 10.1109/FDL.2018.8524082

Luis Alberto Cruz Salazar, Jaime H. Carvajal, Oscar A. Rojas, E. Ramírez

{"title":"Cyber-Physical System for Industrial Control Automation Based on the Holonic Approach and the IEC 61499 Standard","authors":"Luis Alberto Cruz Salazar, Jaime H. Carvajal, Oscar A. Rojas, E. Ramírez","doi":"10.1109/FDL.2018.8524082","DOIUrl":"https://doi.org/10.1109/FDL.2018.8524082","url":null,"abstract":"In recent years, new control automation schemes resulted from the complex needs of the manufacturing systems. The dynamism of the current market is not covered by traditional hierarchical structures yet. Thus, innovative models facing the demands of industrial requirements are now based on intelligent entities. These modern paradigms are realized by evolved programming techniques to implement flexible and distributed control systems (non-hierarchical), e.g. a Cyber-Physical System (CPS). CPS is described as an innovative model that involves transdisciplinary engineering. In fact, CPS defines a modern term that integrates additional information (e.g. real-time data) and modern communication technology (ICT) into the physical world. CPS is often associated with the Industry 4.0 (I4.0) perspective and its specific implementation could be defined by holons, a software built by autonomous and intelligent entities. A holon present in a CPS may contain a physical resource that is linked to the software system by distributable and suitable communication protocols (e.g. based on the IEC 61499 standard). The results of this paper show that both paradigms-holonic and CPS-are a complementary way for manufacturing control automation. The goal of this research is sustained by an overview of UML models, and the application of industrial Ethernet-based protocol (Profinet), to satisfy a distributed CPS with real-time characteristics.","PeriodicalId":177164,"journal":{"name":"2018 Forum on Specification & Design Languages (FDL)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128780281","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 7

Proceedings ofthe 2018 Forum on Specification & Design Languages 2018规范与设计语言论坛论文集

2018 Forum on Specification & Design Languages (FDL) Pub Date : 2018-09-01 DOI: 10.1109/fdl.2018.8524064

引用次数: 0

Sequential Behavioral Modeling for Scalable IoT Devices and Systems 可扩展物联网设备和系统的顺序行为建模

2018 Forum on Specification & Design Languages (FDL) Pub Date : 2018-09-01 DOI: 10.1109/FDL.2018.8524065

Ege Korkan, Sebastian Käbisch, Matthias Kovatsch, S. Steinhorst

{"title":"Sequential Behavioral Modeling for Scalable IoT Devices and Systems","authors":"Ege Korkan, Sebastian Käbisch, Matthias Kovatsch, S. Steinhorst","doi":"10.1109/FDL.2018.8524065","DOIUrl":"https://doi.org/10.1109/FDL.2018.8524065","url":null,"abstract":"The Internet of Things (IoT) enables connectivity between devices, thereby allowing them to interact with each other. A recurring problem is the emergence of siloed IoT platforms due to proprietary standards. Recently, the World Wide Web Consortium (W3C) proposed a human-readable and machine- understandable format called Thing Description (TD). It allows to uniformly describe device and service interfaces of different IoT standards with syntactic and semantic information, and hence enables semantic interoperability. However, describing sequential behavior of devices, which is essential for many cyber-physical systems, is not covered. In this paper, we propose a systematic way to describe such sequential behavior as an extension within TDs, thereby increasing their semantic expressiveness through possible, valid state transitions. This enables safe and desired operation of devices as well as scalability by modeling systems as sequential compositions of Things. We show in a case study that previously unmodelable behavior can now be expressed and the overall manual intervention requirements of state-of-the-art implementations can be significantly reduced.","PeriodicalId":177164,"journal":{"name":"2018 Forum on Specification & Design Languages (FDL)","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124798990","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 7