This paper shows an example how object oriented models may be implemented even on a PLC device. This enables us to exploit the tremendous advantages of object oriented concepts even in the field of embedded systems. S...
详细信息
This paper shows an example how object oriented models may be implemented even on a PLC device. This enables us to exploit the tremendous advantages of object oriented concepts even in the field of embedded systems. Safety concerns are addressed by limiting the maximal number of objects per type and by wrapping each use of a pointer within a null pointer check. These advantages are paid by additional memory and runtime consumption. However, we claim that the development process is shortened and that time-to-market and maintenance efforts are significantly improved. Finally one gains the flexibility provided e.g. by the use of design patterns. The structured text example of this paper have been derived manually from our OO model, as a feasibility study. The code has been employed on a PLC controlling our LEGO carousel storage, successfully. The automatic generation of structured text from an OO model through our CASE tool Fujaba is current work at University of Paderborn, cf [EGSW04].
When I was invited as a opening speaker for this conference, I was nto asked to embed it in what some call the Aarhus tradition that is now giving rise to the fourth decennial international and interdisciplinary scien...
详细信息
The extensive use of computers and networks for exchange of information has also had ramifications on the growth and spread of crime through their use. Law enforcement agencies need to keep up with the emerging trends...
详细信息
There are many potential users and uses for grid computing. However, the concept of sharing computing resources excites security concerns and, whilst being powerful and flexible, at least for novices, existing systems...
详细信息
As UML statechart diagrams are the core for modeling the dynamic aspects of software systems, we have been studying their understandability for the last three years. In previous researches, we have already studied the...
详细信息
Rewriting logic has been revealed as a powerful tool to represent concurrent and state-transitions aspects in a declarative way, providing an adequate environment to specify and execute system representations. Moreove...
详细信息
Hybrid models combining the analytical (rule-based) and connectionist (artificial neural network (ANN)) paradigms are called Knowledge Based Neural Networks (KBNN). The Knowledge Based Artificial Neural Network (KBANN...
详细信息
Feature tracking in large data sets is traditionally an off-line, batch processing operation while virtual reality typically focuses on highly interactive tasks and applications. This paper presents an approach that u...
详细信息
Industrial use of program assertions for the purpose of run-time assertion checking (RAC) is becoming commonplace. A likely next step in the use of assertions is extended static checking (ESC), an area of active resea...
详细信息
Industrial use of program assertions for the purpose of run-time assertion checking (RAC) is becoming commonplace. A likely next step in the use of assertions is extended static checking (ESC), an area of active research that promises added benefits to industry. Unfortunately, RAC and ESC tools are not consistent in their interpretation of assertions containing undefined terms. In this paper, we report on the results of a survey in which we asked industrial developers what logical semantics they want program assertions to have, and whether consistency across tools is important. Survey results indicate that developers are in favor of a semantics for assertions that is compatible with their current use in RAC.
暂无评论