Real-Time Programming 2004

Name: Real-Time Programming 2004
Availability: OutOfStock
ISBN: 9780080445823

ISBN-10: 0080445829

ISBN-13: 9780080445823

Edition: 2005

Authors: Matjaz Colnaric

List price: $129.00

30 day, 100% satisfaction guarantee!

Out of stock

We're sorry. This item is currently unavailable.

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Description:

This volume contains papers from the IFAC Workshop on Real-Time Programming. The aim of the Workshop was to bring together academic practitioners and industrialists involved in this important and expanding area of interest in order to exchange experiences on recent advances in this field. Contents include: * DEPENDABILITY AND SAFETY FOR REAL TIME SYSTEMS * REAL-TIME PROGRAMMING TECHNIQUES * SOFTWARE REQUIREMENT ENGINEERING * CONTROL SYSTEMS DESIGN * SOFTWARE DESIGN * SOFTWARE ENGINEERING AND COMPLEX ENGINEERINGSYSTEMS

Book details

List price: $129.00
Copyright year: 2005
Publisher: Elsevier Science & Technology Books
Publication date: 12/22/2005
Binding: Paperback
Pages: 360
Size: 8.50" wide x 11.75" long x 0.50" tall
Weight: 0.946
Language: English



Characterization and modeling of complex engineering systems



Certification and licensing of pre-developed software components for safety-relevant applications



Envisioning conscious controllers



A technique to improve the quality of software requirements in natural language



Traceability analysis : modeling functional requirements specifications



Real-time systems development : SDL and IF for specification, design and validation



Portable component for resource management



Decentralized real-time management of largely unpredictable power needs and supply



Comparison and analysis of two proposals for reducing control delays



Assessing the impact of traditional real-time scheduling algorithms on top of embedded applications



Generation of optimal timetables for time-triggered CAN communication protocol



Dependable programming using statechart models



Security of control computers



Model checking preemptive tasking sets using time petri nets and UPPAAL



Two formal approaches to design and verification of embedded rule-based systems



Design of logic controllers for safety critical systems using FPGAs with embedded microprocessors



The role of scheduled maintenance actions on the failure process of electric rail vehicles



Experimental hardware platform for distributed fault-tolerant control systems



A UML profile for modeling safety-critical embedded real-time control systems



New time model and design model for RTCP-nets



Time constraints modelling and verification using timed coloured petri nets



Implementation of the CHAMP system



Use of Taguchi DOE in software process improvement



Applying development process measurements for device drivers defects prediction



Common cause failure analysis-software service industry perspective