In component-based and model-driven development it is common to model embedded applications in a platform-independent manner. As an example, some approaches allow development of distributed applications while abstract...
详细信息
ISBN:
(纸本)9781479948451
In component-based and model-driven development it is common to model embedded applications in a platform-independent manner. As an example, some approaches allow development of distributed applications while abstracting away from details of communication between platform nodes. Using such an approach requires to implement this communication before an executable system is deployed. Currently it is common to automatically implement this communication on the level of code, while providing it on the model level is mostly a task that needs to be done manually. In this paper we present a framework for automatic generation of inter-node communication by adding communication components to software models. The framework provides flexibility in the level of automation of generation decisions, and is defined in a way which allows adding support for new communication media or protocols. We have implemented the generation framework for the IEC 61499 standard and provide a prototype generation tool, which we use for examining the applicability of the approach.
The evolution of smartphones has given rise to urban-area applications: applications that communicate in a city by means of the public (moving) infrastructure (e.g., buses and trams). In this setting, applications nee...
详细信息
The evolution of smartphones has given rise to urban-area applications: applications that communicate in a city by means of the public (moving) infrastructure (e.g., buses and trams). In this setting, applications need to communicate with and discover each other using intermediaries that move around the city and transfer data between them. This requires programmers to scatter code that deals with routing messages to the correct place and deal with network failures all over their programs. Our approach allows the programmer to specify urban-area applications in a high-level manner without the burden of directly encoding communication using intermediaries. We present this as a translation from a high-level object-orientedprogramming paradigm to a low-level communication mechanism. This translation allows the programmer to restrict routing of messages to, for example, a certain number of hops, geographic areas, or even types of carrier devices. In addition, we show how high-level group messaging can be efficiently represented in the low-level communication. Finally, we document our experiences in setting up a small-scale real-world urban-area application.
The BDI model is one of the most successful approaches for programming internal agent behavior. The derived PRS architecture beneficially combines reactiveness with deliberative reasoning via reactive planning and has...
详细信息
ISBN:
(纸本)9781479941421
The BDI model is one of the most successful approaches for programming internal agent behavior. The derived PRS architecture beneficially combines reactiveness with deliberative reasoning via reactive planning and has been used for implementing diverse real world applications. Two different strands of programming languages following the BDI metaphor have emerged. The first strand comprises logical languages like Agent Speak(L) and the second one is based on extensions of objectoriented mainstream languages. Regarding the second strand it can be observed that the integration of BDI with mainstream languages has been often pursued in a way that allows for programming BDI agents in the host language by scarifying parts of the normal objectoriented (OO) concepts such as inheritance and polymorphism. In this article first the general relationship between objectoriented and BDI concepts is analyzed in a language independent way and a novel approach fostering a flexible mapping of BDI to OO concepts is presented. Afterwards, the mapping is used to realize a concrete programming approach for BDI agents in standard Java. For this purpose normal OO elements like fields, methods and classes can be turned into BDI elements such as beliefs, goals and plans of a BDI agent class.
Reactive applications are difficult to implement. Traditional solutions based on event systems and the Observer pattern have a number of inconveniences, but programmers bear them in return for the benefits of OO desig...
详细信息
In the paper, we present principles of an object-orientedprogramming language for Physarum polycephalum computing. Physarum polycephalum is a one-cell organism that can be used for developing a biological architectur...
详细信息
In the paper, we present principles of an object-orientedprogramming language for Physarum polycephalum computing. Physarum polycephalum is a one-cell organism that can be used for developing a biological architecture of different abstract devices. Both, theoretical foundations and assumptions for a language specification are considered. Especially, we focus on selected approaches (ladder diagrams, Petri nets, and transition systems) enabling us to model behaviour of Physarum polycephalum in the created programming language.
Cyber Physical systems (CPS), widely used in pervasive computing, integrate computation in the cyber world with control of physical processes. Developing CPS is challenging because interactions between physical and cy...
详细信息
ISBN:
(纸本)9781479927364
Cyber Physical systems (CPS), widely used in pervasive computing, integrate computation in the cyber world with control of physical processes. Developing CPS is challenging because interactions between physical and cyber components are complex and often unpredictable. Traditional debugging techniques can detect bugs in the cyber world, but bugs introduced from physical components and induced by limitations in the software interface to physical hardware are still difficult to detect. My research will capture the state of art and the state of the practice in verification and validation of CPS. Based on this, I will design middleware that combines models of the physical world with programming-language based assertions to help developers to design, develop, and debug robust CPS applications with ease.
The proceedings contain 52 papers. The topics discussed include: fabrication of precise micro-fluidic devices using a low-cost and simple contact-exposure tool for lithography;geometrical improvement of a noninvasive ...
ISBN:
(纸本)9789897580130
The proceedings contain 52 papers. The topics discussed include: fabrication of precise micro-fluidic devices using a low-cost and simple contact-exposure tool for lithography;geometrical improvement of a noninvasive core temperature thermometer based on numeric modeling and experiment validation;low power remote neonatal temperature monitoring device;miniaturized antenna array with low correlation for telemedicine and body area networks applications;development of concurrent object-oriented logic programming system to intelligent monitoring of anomalous human activities;neural networks controller of a lower limbs robotic rehabilitation chair;versatile low-cost modular microfluidic arrays for cancer diagnostics;and development of retention system of the autonomous endoscopic capsule and its functionalities.
We describe a new algorithm SPLITMIX for an object-oriented and splittable pseudorandom number generator (PRNG) that is quite fast: 9 64-bit arithmetic/logical operations per 64 bits generated. A conventional linear P...
详细信息
We describe a new algorithm SPLITMIX for an object-oriented and splittable pseudorandom number generator (PRNG) that is quite fast: 9 64-bit arithmetic/logical operations per 64 bits generated. A conventional linear PRNG object provides a generate method that returns one pseudorandom value and updates the state of the PRNG, but a splittable PRNG object also has a second operation, split, that replaces the original PRNG object with two (seemingly) independent PRNG objects, by creating and returning a new such object and updating the state of the original object. Splittable PRNG objects make it easy to organize the use of pseudorandom numbers in multithreaded programs structured using fork-join parallelism. No locking or synchronization is required (other than the usual memory fence immediately after object creation). Because the generate method has no loops or conditionals, it is suitable for SIMD or GPU implementation. We derive SPLITMIX from the DOTMIX algorithm of Leiserson, Schardl, and Sukha by making a series of program transformations and engineering improvements. The end result is an object-oriented version of the purely functional API used in the Haskell library for over a decade, but SPLITMIX is faster and produces pseudorandom sequences of higher quality;it is also far superior in quality and speed to java util. Random, and has been included in Java JDK8 as the class j ava. util. SplittableRandom. We have tested the pseudorandom sequences produced by SPLITMIX using two standard statistical test suites (DieHarder and TestU01) and they appear to be adequate for "everyday" use, such as in Monte Carlo algorithms and randomized data structures where speed is important.
The article provides the discussion of matters associated with the problems of transferring of object-oriented Windows applications from C++ programming language to .Net platform using C# programming language. C++ has...
The article provides the discussion of matters associated with the problems of transferring of object-oriented Windows applications from C++ programming language to .Net platform using C# programming language. C++ has always been considered to be the best language for the software development, but the implicit mistakes that come along with the tool may lead to infinite memory leaks and other errors. The platform .Net and the C#, made by Microsoft, are the solutions to the issues mentioned above. The world economy and production are highly demanding applications developed by C++, but the new language with its stability and transferability to .Net will bring many advantages. An example can be presented using the applications that imitate the work of queuing systems. Authors solved the problem of transferring of an application, imitating seaport works, from C++ to the platform .Net using C# in the scope of Visual Studio.
暂无评论