Embedded Systems: Design, Analysis and Verification [electronic resource] : 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013, Proceedings

• Tác giả: Marcelo Götz, Franz J Rammig, Achim Rettberg, Gunar Schirner, Mauro C Zanella
• ISBN-13: 978-3642388538
• Ký hiệu phân loại: 004 Data processing || Computer science
• Thông tin xuất bản: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
• Mô tả vật lý: XIV, 354 p. 136 illus. , online resource.
• Bộ sưu tập: Metadata2
• ID: 325159
• Chủ đề: 1. Computer-aided engineering; 2. Computers, Special purpose; 3. Electronic digital computers—Evaluation; 4. Software engineering; 5. Special Purpose and Application-Based Systems

Tóm tắt

 This book constitutes the refereed proceedings of the 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, held in Paderborn, Germany, in June 2013. The 22 full revised papers presented together with 8 short papers were carefully reviewed and selected from 42 submissions. The papers have been organized in the following topical sections: design methodologies
  non-functional aspects of embedded systems
  verification
  performance analysis
  real-time systems
  embedded system applications
  and real-time aspects in distributed systems. The book also includes a special chapter dedicated to BMBF funded ARAMIS project on Automotive, Railway and Avionics Multicore Systems.