Filters








22,872 Hits in 4.3 sec

Automated protocol implementations based on activity threads

P. Langendorfer, H. Konig
Proceedings. Seventh International Conference on Network Protocols  
In this paper we present a new approach for the automated mapping of formal descriptions into activity thread implementations.  ...  The approach is implemented in the SDL compiler COCOS. We describe the approach as well as its implementation and prove how semantic conflicts are resolved.  ...  This paper deals with activity thread implementations. We present an approach for the automated mapping of formal descriptions into activity thread implementations.  ... 
doi:10.1109/icnp.1999.801910 dblp:conf/icnp/LangendorferK99 fatcat:zik2fufu6ngy7jvdch7mkzttfq

Improving the efficiency of automated protocol implementations using a configurable FDT compiler

H Koenig, P Langendoerfer, H Krumm
2000 Computer Communications  
In this paper, we discuss ways to improve the efficiency of automated protocol implementations to make them applicable to real-life implementations.  ...  For solution, we introduce the concept of a configurable FDT compiler that supports the application of different implementation techniques and the adjustment of the implementation to the given implementation  ...  By integrating efficient implementation techniques which are proved in manual coding we have shown that, on the one hand, techniques such as the activity thread model can be applied for automated protocol  ... 
doi:10.1016/s0140-3664(99)00245-5 fatcat:fwwdh5fq7fczfa7vjavc63uvdq

Deriving Activity Thread Implementations from Formal Descriptions Using Transition Reordering [chapter]

Peter Langendörfer, Hartmut König
1999 IFIP Advances in Information and Communication Technology  
In this paper we show how formal descriptions can efficiently be mapped into activity thread implementations using transition reordering.  ...  The technique is implemented in the SDL compiler COCOS. We describe the approach as well as its implementation and show how semantic conflicts are resolved.  ...  This will help to close the "implementation gap" in the protocol development process mentioned in the introduction and allow a continuous protocol development based on formal descriptions from the design  ... 
doi:10.1007/978-0-387-35578-8_10 fatcat:sxb37kn2wfcfllqwjkhvykzasq

Configurable Multiprocessor Platform with RTOS for Distributed Execution of UML 2.0 Designed Applications

T. Arpinen, P. Kukkala, E. Salminen, M. Hannikainen, T.D. Hamalainen
2006 Proceedings of the Design Automation & Test in Europe Conference  
The experiments performed on FPGA show that our approach raises system design to a new level.  ...  Each processor has a local copy of eCos real-time operating system for the scheduling of multiple application threads.  ...  Based on the created mapping model, UML process distributor tool creates information about which threads are activated on a certain CPU, and attaches this to the generated code.  ... 
doi:10.1109/date.2006.244125 dblp:conf/date/ArpinenKSHH06 fatcat:nzotwsgq5rh53lnz6ujqlr4qwe

On the Influence of Semantic Constraints on the Code Generation from Estelle Specifications [chapter]

Ralf Henke, Andreas Mitschele-Thiel, Hartmut König
1997 Formal Description Techniques and Protocol Specification, Testing and Verification  
The second part of the paper investigates how the activity thread model, a technique known from manual protocol implementation, can be applied to automatically derive efficient implementations from Estelle  ...  The activity thread model reduces the communication overhead. It is known to be efficient as the server model usually applied.  ...  The problem with the activity thread model is that it is based on a semantic model that differs considerably from the semantic models of EFSM-based FDTs.  ... 
doi:10.1007/978-0-387-35271-8_25 fatcat:rj3sv6zzk5bmzhauh26ick224y

Implementing a WLAN Video Terminal Using UML and Fully Automated Design Flow

Petri Kukkala, Mikko Setälä, Tero Arpinen, Erno Salminen, Marko Hännikäinen, Timo D. Hämäläinen
2007 EURASIP Journal on Embedded Systems  
This case study presents UML-based design and implementation of a wireless video terminal on a multiprocessor system-onchip (SoC).  ...  We use the Koski design flow and tools for fully automated implementation of the terminal on FPGA. Measurements were performed to evaluate the performance of the FPGA implementation.  ...  Application Software platform Hardware platform Application process (UML state machine) Thread 1 [activated] Thread 2 [inactive] Thread 3 [activated] Thread 1 [inactive] Thread 2  ... 
doi:10.1155/2007/85029 fatcat:elcl747n4jflhlx7tb6lakpeq4

Implementing a WLAN Video Terminal Using UML and Fully Automated Design Flow

Petri Kukkala, Mikko Setälä, Tero Arpinen, Erno Salminen, Marko Hännikäinen, TimoD Hämäläinen
2007 EURASIP Journal on Embedded Systems  
This case study presents UML-based design and implementation of a wireless video terminal on a multiprocessor system-onchip (SoC).  ...  We use the Koski design flow and tools for fully automated implementation of the terminal on FPGA. Measurements were performed to evaluate the performance of the FPGA implementation.  ...  Application Software platform Hardware platform Application process (UML state machine) Thread 1 [activated] Thread 2 [inactive] Thread 3 [activated] Thread 1 [inactive] Thread 2  ... 
doi:10.1186/1687-3963-2007-085029 fatcat:dcyjo23rqrgutkxpr3d7qug44y

Increasing the Efficiency of Computer-aided Protocol Implementations [chapter]

Thomas Held, Hartmut Koenig
1995 IFIP Advances in Information and Communication Technology  
The paper discusses ways for increasing the efficiency of protocol implementations which are automatically derived from formal descriptions.  ...  The implementation model defines the architecture of the final implementation and has a crucial influence on its efficiency.  ...  It is based on the implementation of the experimental protocol [Held 94]. The implementation uses the simplified asynchronous interface (see Section 4.3) and the activation algorithm III.  ... 
doi:10.1007/978-0-387-34867-4_29 fatcat:tvxaluwe4jchtlpe4evvopanri

Model driven code generation for critical and adaptative embedded systems

Etienne Borde, Peter H. Feiler, Grégory Haïk, Laurent Pautet
2009 ACM SIGBED Review  
We then illustrate the usage of this methodology on an industrial use-case, using a component-based framework that generates the adaptation code.  ...  Lastly, we present and discuss the associated experimental results, and show the relative benefits of using the one or the other mode switch protocol.  ...  This reconfiguration policy is based on a "Read Write Lock Priority Ceiling Protocol".  ... 
doi:10.1145/1851340.1851352 fatcat:o2prxmanhzhshd3f6sebrh2ejq

A distributed timing analysis framework for large designs

Tsung-Wei Huang, Martin D. F. Wong, Debjit Sinha, Kerim Kalafala, Natesan Venkateswaran
2016 Proceedings of the 53rd Annual Design Automation Conference on - DAC '16  
machine IP: 1.23.456.789 Efficient Messaging Interface based on Protocol Buffer C++/Java/Python source code generator .cpp/.h class methods ParseFromArray(void*, size_t) SerializeToArray(void*, size_t  ...  M1:PO1 M2:PI1 M2:PI2 M2:PO1 M2 I1 G1 H1 Non-blocking IO and Event-driven Loop with Libevent Libevent (http://libevent.org/) Open-source under BSD license Actively maintained C-based  ... 
doi:10.1145/2897937.2897959 dblp:conf/dac/HuangWSKV16 fatcat:4nkchoegjzdoth5pf7d24w5sie

A Taxonomy for the Security Assessment of IP-Based Building Automation Systems: The Case of Thread

Yu Liu, Zhibo Pang, Gyorgy Dan, Dapeng Lan, Shaofang Gong
2018 IEEE Transactions on Industrial Informatics  
We apply the proposed taxonomy to Thread, an emerging native IP-based protocol for BAS. Our analysis reveals a number of potential weaknesses in the design of Thread.  ...  Motivated by the proliferation of wireless building automation systems (BAS) and increasing security-awareness among BAS operators, in this paper we propose a taxonomy for the security assessment of BASs  ...  On top of IP Thread uses the CoAP protocol over UDP. B.  ... 
doi:10.1109/tii.2018.2844955 fatcat:tcecqj36ffa25m52c662khccqa

A survey of commercial frameworks for the Internet of Things

Hasan Derhamy, Jens Eliasson, Jerker Delsing, Peter Priller
2015 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA)  
The frameworks are evaluated against criteria such as architectural approach, industry support, standards based protocols and interoperability, security, hardware requirements, governance and support for  ...  It is transport agnostic [12] and is currently running on WiFi, Ethernet, serial, and Power Line. 4) Thread: The Thread groups framework defines a protocol stack based on Nest's early implementation  ...  The Internet protocols are based on layered architecture. Interoperability must extend across each layer.  ... 
doi:10.1109/etfa.2015.7301661 dblp:conf/etfa/DerhamyEDP15 fatcat:esaatq44sjaklmzrccrfeq5fza

On Mechanisms for Deadlock Avoidance in SIP Servlet Containers [chapter]

Y. Huang, L. K. Dillon, R. E. K. Stirewalt
2008 Lecture Notes in Computer Science  
This paper documents this problem with concrete examples and proposes modifications to the standard to allow programmers to implement the protocols needed to avoid these common deadlocks.  ...  These extensions will open the way for automatic generation of the synchronization logic needed to implement these avoidance protocols, thereby increasing the safety and reliability of applications deployed  ...  A filled activation bar 4 on the lifeline of a thread represents an activation of that thread's run method.  ... 
doi:10.1007/978-3-540-89054-6_10 fatcat:cptrusj2tzahjfhx7k65c4h55m

Automated Negotiation in E Commerce: Protocol Relevance and Improvement Techniques

S.R.Vij, D.Mukhopadhyay, Dr.A.J.Agrawal
2019 Computers Materials & Continua  
Here is an attempt to consolidate our work of last few years on automation of negotiation process; we call it as negotiation protocol on research, study as well as implementation level of negotiation automation  ...  and strategies or set of rules/protocols to be implemented and how they can be relevantly implemented.  ...  System architecture e negotiation using rule based and case based reasoning Our research on Automated Negotiation throws light on the aspect of making the protocol efficient if product data as well as  ... 
doi:10.32604/cmc.2019.08417 fatcat:fjba2sj5zfe6xppwu4sta4vg5i

Context-specific middleware specialization techniques for optimizing software product-line architectures

Arvind S. Krishna, Aniruddha S. Gokhale, Douglas C. Schmidt
2006 Proceedings of the 2006 EuroSys conference on - EuroSys '06  
Third, we quantify the benefits of applying automated tools to specialize a standard Real-time CORBA middleware implementation.  ...  This paper provides the following contributions to the study of middleware specialization techniques for PLA-based DRE systems.  ...  The Select_Reactor uses the single- Figure 3: Reactor & Protocol Specialization threaded select()-based event demuxer, the Thread_Pool_ Reactor uses the multi-threaded select ()-based event demuxer,  ... 
doi:10.1145/1217935.1217955 dblp:conf/eurosys/KrishnaGS06 fatcat:4blrpk2ftnglxcij66u5hqasny
« Previous Showing results 1 — 15 out of 22,872 results