the authors look at methods and tools for fast delivery of applications in the context of factory automation;more specifically in the field of industrial robotics and for numerical controllers of machine-tools. they i...
详细信息
ISBN:
(纸本)081862065X
the authors look at methods and tools for fast delivery of applications in the context of factory automation;more specifically in the field of industrial robotics and for numerical controllers of machine-tools. they introduce a scheduling language and a general framework in which both kinds of applications can be expressed. Its purpose it to generate a real-time controller tuned for the application described. It is shown how this tool is used for the specification, simulation, and implementation of the control-command systems. the language extends the statecharts introduced by D. Harel (1987) for the purpose of flexible manufacturing and robot control. It inherits from the statecharts most of their features, such as the visual formalism, semantics, and its modularity.
Summary form only given. the use of a softwareengineering tool, the programming environment generator called CENTAUR, in the high-level synthesis of integrated circuits is described. How CENTAUR can be used in the IC...
详细信息
ISBN:
(纸本)0818621419
Summary form only given. the use of a softwareengineering tool, the programming environment generator called CENTAUR, in the high-level synthesis of integrated circuits is described. How CENTAUR can be used in the IC design process is discussed. Also presented is how the VHDL (VHSIC hardware description language) standard fits into CENTAUR and, as an example, how the Ada genericity could be included in VHDL.
the following definition is presented: a safe system is n-resilient at m% to faults if: (1) there exist at least n + 1 distinct configurations of its subsystems;(2) any n faults in n of the n + 1 configuration maintai...
详细信息
ISBN:
(纸本)081862065X
the following definition is presented: a safe system is n-resilient at m% to faults if: (1) there exist at least n + 1 distinct configurations of its subsystems;(2) any n faults in n of the n + 1 configuration maintains a safe system;and (3) the highest probability of any set of n faults in n of the n + 1 configurations does not exceed m%. It is shown how this type of resilient configurations can be achieved, either in time (repetitions) or physically (alternatives). A fault model based on a graph-based model of the system has been built. Boththe components and their interrelation characteristics which constitute safe behavior were defined. Monitoring relations between isolated components for runtime safety verification as well as for resiliency compensation are introduced. A detailed design example demonstrates how a safe system is constructed and how common-mode faults are dealt with.
the authors' main focus in debugging and monitoring program execution is the notion of time. In particular, the progress of the execution, which is interpreted as useful computation, is addressed. the authors desc...
详细信息
ISBN:
(纸本)081862065X
the authors' main focus in debugging and monitoring program execution is the notion of time. In particular, the progress of the execution, which is interpreted as useful computation, is addressed. the authors describe two interpretations, or views, of the causality graph which complement each other in the display of the propagation of the execution. the causality graph is the graph constructed from the partial order which reflects the execution of a parallel program. Additional processing of the causality graph is necessary in order to retrieve these views. this additional processing is essential since the complete, detailed display of the graph is unrealistic for programs of reasonable size. From the causality graph two notion are extracted: the notion of time slice and the notion of work. the definition of a unit of work and what this notion means for the application is provided by the user, and serves as an additional attribute of computation and resource nodes in the graph. these nodes are used for the generation of the views described.
this paper describes the architecture of the functional electrical stimulation systems developed in the context of the TIME European project. Contributions are the definition of a generic FES architecture and the spec...
详细信息
ISBN:
(纸本)9781424441419
this paper describes the architecture of the functional electrical stimulation systems developed in the context of the TIME European project. Contributions are the definition of a generic FES architecture and the specialization of this architecture, depending on the applicative context, by the deployment, the programming and the control of hardware units, notably stimulation ones. this specialization process is managed by a dedicated software environment, named SENIS Manager.
A general language called the resource allocation problem specification (RAPS) language, for specifying resource allocation and timetabling problems is presented. the language is based on the expert-system paradigm wh...
详细信息
ISBN:
(纸本)081862065X
A general language called the resource allocation problem specification (RAPS) language, for specifying resource allocation and timetabling problems is presented. the language is based on the expert-system paradigm which enables the solution of resource allocation problems by using experts' knowledge and heuristics. the language enables the specification of a problem in terms of resources, activities, allocation rules, and constraints. the language syntax is powerful and allows the specification of rules and constraints which are very difficult to formulate withthe more traditional approaches. the language is independent of the inference engine that performs the allocation and can therefore be used to evaluate different allocation strategies. RAPS and the expert system for resource allocation (ESRA) shell were used to solve several resource allocation problems, which include staff allocation for air force missions and class scheduling in a university.
the graphical object-oriented development system (GOODS) was designed to support the design, implementation, and maintenance of object-oriented programs. the goal was to minimize the cognitive load on the user by prov...
详细信息
ISBN:
(纸本)081862065X
the graphical object-oriented development system (GOODS) was designed to support the design, implementation, and maintenance of object-oriented programs. the goal was to minimize the cognitive load on the user by providing graphical views containing only the information needed. It uses novel graphical language designed to describe the structure of object-oriented programs. the system can display GOODS diagrams showing the structure of any part of the program as it is seen from different points of view, i.e., showing different kinds of properties. this is a dual presentation of diagrams and code that allows the programmer to switch between the two. Any change in one of them will cause the corresponding change of the other. GOODS was implemented in C++ using X-Windows. Users found the diagrams useful for understanding the structure of the programs, and as a development tool.
this article focuses on the teaching of software development methodologies. It presents ten principles of teaching such a topic, while examining each from both a pedagogical and an organizational viewpoint. the teachi...
详细信息
ISBN:
(纸本)0769518699
this article focuses on the teaching of software development methodologies. It presents ten principles of teaching such a topic, while examining each from both a pedagogical and an organizational viewpoint. the teaching principles are demonstrated using the methodology of Extreme Programming (XP).
software has evolved from tools and appliances to a driving force of innovations in economy and society. software advances and stimulates society by providing and enabling, e.g., ubiquitous communication channels, eff...
详细信息
software has evolved from tools and appliances to a driving force of innovations in economy and society. software advances and stimulates society by providing and enabling, e.g., ubiquitous communication channels, efficient development of medication, flexible materials, energy efficient automobiles, autonomous robots, intelligent resource management, earth-quake-proof buildings, and smart cyber-physical systems.
暂无评论