Structured Development for Real-Time Systems, Vol. II


Book Description

Without a framework for organizing and codifying these ideas, systems modeling can become disjointed, frustrating, and ultimately ineffective. This book is extensively illustrated with detailed examples illuminating the main points discussed. Its four appendices provide fully worked examples of pertinent applications.




Structured Development for Real-Time Systems


Book Description

Real-time and embedded systems are in widespread use in the modern world. From the microprocessor controller in a camera, through "smart" traffic lights and production control systems, to large defense systems, computer technology is increasingly a part of systems that control and respond to their environments in real-time. As the technology has improved, we have come to rely on these systems more and more --- we have even put our lives in their hands. Airplanes, biomedical accelerators, nuclear power plants, and the like all depend on real-time control to operate safely. A failure in a control system, such as not responding correctly to faults in the environment, could endanger many lives. Unfortunately, there is a tendency for developers to focuse too heavily on the intrcacies of the engineering and computer technology, to the detriment of understanding the real-world problem at hand. At best, this wastes time and resouces and at worst it is dangerous in light of the life-critical nature of today's systems. This misplaced focus can result at least partly from the lack of a comprehensive set of modeling tools and techniques fitted to the real-time development environment. This book provides the tools and techniques needed for visualizing and verifying the operation of a real-time system prior to construction, and demonstrates their usefulness.




Structured Development for Real-Time Systems, Vol. III


Book Description

In the first two volumes of Structured Development for Real Time Systems, authors Paul Ward and Stephen Mellor described a comprehensive modeling notation and a set of guidelines for using the notation to build an essential model. In this final volume, the guidelines are extended to encompass the building of an implementation model, and the notation is extended to include a hierarchical description of code organization.




System Specification & Design Languages


Book Description

In this fourth book in the CHDL Series, a selection of the best papers presented in FDL'02 is published. System Specification and Design Languages contains outstanding research contributions in the four areas mentioned above. So, The Analog and Mixed-Signal system design contributions cover the new methodological approaches like AMS behavioral specification, mixed-signal modeling and simulation, AMS reuse and MEMs design using the new modeling languages such as VHDL-AMS, Verilog-AMS, Modelica and analog-mixed signal extensions to SystemC. UML is the de-facto standard for SW development covering the early development stages of requirement analysis and system specification. The UML-based system specification and design contributions address latest results on hot-topic areas such as system profiling, performance analysis and UML application to complex, HW/SW embedded systems and SoC design.C/C++-for HW/SW systems design is entering standard industrial design flows. Selected papers cover system modeling, system verification and SW generation. The papers from the Specification Formalisms for Proven design workshop present formal methods for system modeling and design, semantic integrity and formal languages such as ALPHA, HANDLE and B.




Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing


Book Description

The purpose of the 10th ACIS International Conference on Software Engineering Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD rd 2009), held in Daegu, Korea on May 27–29, 2009, the 3 International Workshop st on e-Activity (IWEA 2009) and the 1 International Workshop on Enterprise Architecture Challenges and Responses (WEACR 2009) is to aim at bringing together researchers and scientist, businessmen and entrepreneurs, teachers and students to discuss the numerous fields of computer science, and to share ideas and information in a meaningful way. Our conference officers selected the best 24 papers from those papers accepted for presentation at the conference in order to publish them in this volume. The papers were chosen based on review scores submitted by members of the program committee, and underwent further rounds of rigorous review. In chapter 1, Igor Crk and Chris Gniady propose a network-aware energy m- agement mechanism that provides a low-cost solution that can significantly reduce energy consumption in the entire system while maintaining responsiveness of local interactive workloads. Their dynamic mechanisms reduce the decision delay before the disk is spun-up, reduce the number of erroneous spin-ups in local wo- stations, decrease the network bandwidth, and reduce the energy consumption of individual drives. In chapter 2, Yoshihito Saito and Tokuro Matsuo describe a task allocation mechanism and its performance concerning with software developing. They run simulations and discuss the results in terms of effective strategies of task allocation.




Real-Time Systems Engineering and Applications


Book Description

Real-Time Systems Engineering and Applications is a well-structured collection of chapters pertaining to present and future developments in real-time systems engineering. After an overview of real-time processing, theoretical foundations are presented. The book then introduces useful modeling concepts and tools. This is followed by concentration on the more practical aspects of real-time engineering with a thorough overview of the present state of the art, both in hardware and software, including related concepts in robotics. Examples are given of novel real-time applications which illustrate the present state of the art. The book concludes with a focus on future developments, giving direction for new research activities and an educational curriculum covering the subject. This book can be used as a source for academic and industrial researchers as well as a textbook for computing and engineering courses covering the topic of real-time systems engineering.




Real-Time Software Design for Embedded Systems


Book Description

Organized as an introduction followed by several self-contained chapters, this tutorial takes the reader from use cases to complete architectures for real-time embedded systems using SysML, UML, and MARTE and shows how to apply the COMET/RTE design method to real-world problems. --




The Software Project Manager's Handbook


Book Description

Software project managers and their team members work individually towards a common goal. This book guides both, emphasizing basic principles that work at work. Software at work should be pleasant and productive, not just one or the other. This book emphasizes software project management at work. The author's unique approach concentrates on the concept that success on software projects has more to do with how people think individually and in groups than with programming. He summarizes past successful projects and why others failed. Visibility and communication are more important than SQL and C. The book discusses the technical and people aspects of software and how they relate to one another. The first part of the text discusses four themes: (1) people, process, product, (2) visibility, (3) configuration management, and (4) IEEE Standards. These themes stress thinking, organization, using what others have built, and people. The second part describes the software management principles of process, planning, and risk management. Part three discusses software engineering principles, the technical aspects of software projects. The fourth part examines software practices giving practical meaning to the individual topics covered in the preceding chapters. The final part of this book continues these practical aspects by illustrating a sample project through seven distinctive documents.




Object Oriented Computer Systems Engineering


Book Description

This book addresses issues concerning the engineering of system prod ucts that make use of computing technology. These systems may be prod ucts in their own right, for example a computer, or they may be the computerised control systems inside larger products, such as factory automation systems, transportation systems and vehicles, and personal appliances such as portable telephones. In using the term engineering the authors have in mind a development process that operates in an integrated sequence of steps, employing defined techniques that have some scientific basis. Furthermore we expect the operation of the stages to be subject to controls and standards that result in a product fit for its intended purpose, both in the hands of its users and as a business venture. Thus the process must take account of a wide range of requirements relating to function, cost, size, reliabili ty and so on. It is more difficult to define the meaning of computing technology. These days this involves much more than computers and software. For example, many tasks that might be performed by software running in a general purpose computer can also be performed directly by the basic technology used to construct a computer, namely digital hardware. However, hardware need not always be digital; we live in an analogue world, hence analogue signals appear on the boundaries of our systems and it can sometimes be advantageous to allow them to penetrate further.




Case Studies in Control


Book Description

Case Studies in Control presents a framework to facilitate the use of advanced control concepts in real systems based on two decades of research and over 150 successful applications for industrial end-users from various backgrounds. In successive parts the text approaches the problem of putting the theory to work from both ends, theoretical and practical. The first part begins with a stress on solid control theory and the shaping of that theory to solve particular instances of practical problems. It emphasizes the need to establish by experiment whether a model-derived solution will perform properly in reality. The second part focuses on real industrial applications based on the needs and requirements of end-users. Here, the engineering approach is dominant but with theoretical input of varying degree depending on the particular process involved. Following the illustrations of the progress that can be made from either extreme of the well-known theory–practice divide, the text proceeds to a third part related to the development of tools that enable simpler use of advanced methods, a need only partially met by available commercial products. Each case study represents a self-contained unit that shows an experimental application of a particular method, a practical solution to an industrial problem or a toolkit that makes control design and implementation easier or more efficient. Among the applications presented are: wastewater treatment; manufacturing of electrical motors ; temperature control of blow moulding; burn-protective garments quality assessment; and rapid prototyping. Written by contributors with a considerable record of industrially-applied research, Case Studies in Control will encourage interaction between industrial practitioners and academic researchers and be of benefit to both, helping to make theory realistic and practical implementation more thorough and efficacious. Advances in Industrial Control aims to report and encourage the transfer of technology in control engineering. The rapid development of control technology has an impact on all areas of the control discipline. The series offers an opportunity for researchers to present an extended exposition of new work in all aspects of industrial control.