The paper presents support solutions for designing, reconfiguration and testing embedded system applications with microcontrollers. The proposed method allows the reconfiguration of an industrial application, in diffe...
详细信息
The paper presents support solutions for designing, reconfiguration and testing embedded system applications with microcontrollers. The proposed method allows the reconfiguration of an industrial application, in different versions, by following the next steps: designing the core software independent to the hardware input and output signal pins; defining a table of pins – signals correspondence, for each particular configuration; adding particular software, involving usually just number of signals, input – output functions, etc. The proposed development system offers the needed functions for redesigning the application, without changing the core software, and even without knowing the assembler details of the application.
An approach in which manually written task procedures are used is proposed for generating natural and comprehensive task plans. However, semantic inconsistencies may occur in manually programmed procedures. In this pa...
详细信息
An approach in which manually written task procedures are used is proposed for generating natural and comprehensive task plans. However, semantic inconsistencies may occur in manually programmed procedures. In this paper, we propose a script management system on the basis of action-relation rules that have been generated from patterns mined by the Prefixspan algorithm. Action-relation rules generated in an interactive manner act as a guide for eliminating or modifying task plans. This paper presents the principle and user interface of the management system and the result of implementing the proposed method.
Software configuration management has a reputation of being difficult to use but it does not have to be that way. Making the most of using it depends on simplifying the process for developers.
Software configuration management has a reputation of being difficult to use but it does not have to be that way. Making the most of using it depends on simplifying the process for developers.
Modern design increasingly demands the use of co-simulation, with effective interworking between software simulation tools from multiple vendors. The pLUG&SIM development environment has been designed specifically...
详细信息
Modern design increasingly demands the use of co-simulation, with effective interworking between software simulation tools from multiple vendors. The pLUG&SIM development environment has been designed specifically to support such a process. The author describes the rationale behind its development.
The paper presents a Lisp based programming tool and the underlying computational model, which support implementing real-time model/knowledge-based control and diagnostic systems by giving architectural and algorithmi...
详细信息
The paper presents a Lisp based programming tool and the underlying computational model, which support implementing real-time model/knowledge-based control and diagnostic systems by giving architectural and algorithmic background for both the data processing and the scheduling aspects. The temporal characterization of the tasks and the execution requirements are generalized allowing expressing the special run-time behaviour of the artificial intelligence originated processing algorithms. The execution environment provides smooth integration of numeric and symbolic data processing methods, thus expressing the relevant knowledge-according to the model formation and execution constraints - on qualitative, quantitative and heuristic level by cooperating data processing subsystems is supported. The system architecture encourages the decomposition of the control system into loosely coupled subsystems. This feature and the message passing type of communication mechanism implemented make the distributed control system implementation possible. The basic programming features of the implementation is shown.
Siemens Corporate Technology has developed a methodology for formal verification. This methodology allows to prove or falsify the correctness of programs for a PLC (programmable logical controller) fully automatically...
详细信息
Siemens Corporate Technology has developed a methodology for formal verification. This methodology allows to prove or falsify the correctness of programs for a PLC (programmable logical controller) fully automatically and exactly in a strongly mathematical sense. A program is correct, if eveiy possible execution trace of the program fulfils a set of required properties specified by the user. For instance, a property for a traffic light control at some given intersection could be 'traffic lights never all show green at the same time' or 'when a car stops at a red traffic light that traffic light will eventually switch to green'. For this verification method a tool has been developed that checks properties fully automatically and completely. In case a given property is not satisfied by the PLC-program, the verification tool generates an execution trace of the program (a so-called countersequence) that illustrates its erroneous behaviour. In a pilot application, tool machine manufacturers used and evaluated the verification tool with respect to specification, error detection, cost/benefit-estimation and other criteria for verification. The verification tool was received very well.
We present polynomial-time static semantics-preserving transformations of real-time programs. Used in conjunction with schedulability analysis, the transformations significantly increase the class of real-time program...
详细信息
We present polynomial-time static semantics-preserving transformations of real-time programs. Used in conjunction with schedulability analysis, the transformations significantly increase the class of real-time programs that may be analyzed efficiently for guaranteed schedulability at compile-time. In cases where the form of resource contention among processes resists efficient transformation, we apply a heuristic transformation (and a consequent run-time scheduling heuristic) to allow the programs to be analyzed efficiently.
Could the next generation in semiconductor process technology be undermined by the legacy of unresolved technical problems? As we enter 2004, the next phase in integrated circuit manufacturing will begin in earnest, w...
详细信息
Could the next generation in semiconductor process technology be undermined by the legacy of unresolved technical problems? As we enter 2004, the next phase in integrated circuit manufacturing will begin in earnest, with companies starting to ramp up production of chips based on the 90 nm process. But bad experiences with the 130 nm process, which was heavily delayed by manufacturing problems, have made chipmakers cautious. Many companies are holding back from moving to the new process until they see the results that the more optimistic chipmakers get. A number of those who have decided to take the plunge early have been careful to keep their options open and trade off die size or speed against manufacturability. Thanks to rapid advances in lithography-the photographic processes used to create tiny features on chips-transistors have shrunk more quickly than was expected in the late 1990s. These gains have not been reflected in other chip-level features. Chipmakers have faced increasing problems scaling down the wires that join transistors together. To maintain an effective doubling in density between generations, the distance between the wires and their lateral thickness has to reduce by about 30%. Unfortunately as the wires get closer together, interference between signals on adjacent wires becomes harder and harder to overcome.
Bendix Engine Controls Division delivers a wide variety of aviation-related software, both for military applications as well as for commercial uses. Much of this software is utilized in propulsion control systems for ...
详细信息
Bendix Engine Controls Division delivers a wide variety of aviation-related software, both for military applications as well as for commercial uses. Much of this software is utilized in propulsion control systems for aircraft engines, and most involve computation functions which require the extensive use and control of embedded software. This paper will provide analyses of past and current software projects from the viewpoint of Software Quality Assurance (SQA). It will address not only the administering and enforcement of SQA policies, but also will provide workable solutions to the SQA-related problems that have surfaced. In addition, it steps through the traditional software development cycle, and pinpoints potential problem areas which may be encountered during that phase.
For cost reasons, real-time dedicated computer systems often do not have the hardware necessary to support software development tools, such as editors, compilers and file systems. They may be suppl led by a specialize...
详细信息
For cost reasons, real-time dedicated computer systems often do not have the hardware necessary to support software development tools, such as editors, compilers and file systems. They may be suppl led by a specialized microprocessor development system, but these are expensive and often need retool Ing for every new microproce s sor generation, leading to high development costs. Personal computers are Inexpensi ve ; affordable and high-quality software tools are currently available in their market : on the other hand, rei labi I Ity and performance reasons often preclude u~lng PCs themselve s as target machines. We discuss the alternatives which we Ilave used for a number of projects, both in lab and Industry: portlng the PC operating systems themselves, so as to execute s tandard PC object fi les In the target : and transforming the object code generated by standar d PC compilers, so as to have them executed on PROM-based target systems.
暂无评论