Books on the topic 'Embedded software design and verification'

Samar, Abdi, Gerstlauer Andreas 1970-, Schirner Gunar, and SpringerLink (Online service), eds. Embedded System Design: Modeling, Synthesis and Verification. Boston, MA: Springer-Verlag US, 2009.

Co-verification of hardware and software for ARM SoC design. Burlington, MA: Elsevier Newnes, 2005.

Thoen, Filip. Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems. Boston, MA: Springer US, 2000.

Schirner, Gunar. Embedded Systems: Design, Analysis and Verification: 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

Lettnin, Djones, and Markus Winterholer, eds. Embedded Software Verification and Debugging. New York, NY: Springer New York, 2017. http://dx.doi.org/10.1007/978-1-4614-2266-2.

Beningo, Jacob. Embedded Software Design. Berkeley, CA: Apress, 2022. http://dx.doi.org/10.1007/978-1-4842-8279-3.

Richard, Zurawski, ed. Embedded systems handbook: Embedded systems design and verification. 2nd ed. Boca Raton, FL: Taylor & Francis Group, 2009.

Schirner, Gunar, Marcelo Götz, Achim Rettberg, Mauro C. Zanella, and Franz J. Rammig, eds. Embedded Systems: Design, Analysis and Verification. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-38853-8.

Hsiung, Pao-Ann. Reconfigurable system design and verification. Boca Raton, Fla: CRC Press, 2009.

Sridar, T. Designing embedded communications software. San Francisco, CA: CMP Books, 2003.

Balarin, Felice, Massimiliano Chiodo, Paolo Giusto, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Claudio Passerone, et al. Hardware-Software Co-Design of Embedded Systems. Boston, MA: Springer US, 1997. http://dx.doi.org/10.1007/978-1-4615-6127-9.

Bergé, Jean-Michel. Hardware/Software Co-Design and Co-Verification. Boston, MA: Springer US, 1997.

Bergé, Jean-Michel, Oz Levia, and Jacques Rouillard, eds. Hardware/Software Co-Design and Co-Verification. Boston, MA: Springer US, 1997. http://dx.doi.org/10.1007/978-1-4757-2629-9.

Jean-Michel, Bergé, Levia Oz, and Rouillard Jacques, eds. Hardware/software co-design and co-verification. Boston: Kluwer Academic Publishers, 1997.

Embedded systems and software validation. Burlington, MA: Elsevier Morgan Kaufmann, 2009.

Embedded systems hardware for software engineers. New York: McGraw-Hill Companies, 2012.

service), SpringerLink (Online, ed. Embedded System Design: Embedded Systems Foundations of Cyber-Physical Systems. Dordrecht: Springer Science+Business Media B.V., 2011.

Bräunl, Thomas. Embedded Robotics: Mobile Robot Design and Applications with Embedded Systems. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003.

Morshed, Bashir I. Embedded Systems – A Hardware-Software Co-Design Approach. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-66808-2.

Claude, Jard, and Roux Olivier H, eds. Communicating embedded systems: Software and design : formal methods. Hoboken, NJ: ISTE Ltd/John Wiley and Sons, 2009.

Embedded and networking systems: Design, software, and implementation. Boca Raton: CRC Press, Taylor & Francis Group, 2014.

Claude, Jard, and Roux Olivier H, eds. Communicating embedded systems: Software and design : formal methods. Hoboken, NJ: ISTE Ltd/John Wiley and Sons, 2009.

Tony, Givargis, ed. Embedded system design: A unified hardware/software introduction. New York: Wiley, 2002.

Claude, Jard, and Roux Olivier H, eds. Communicating embedded systems: Software and design : formal methods. Hoboken, NJ: ISTE Ltd/John Wiley and Sons, 2009.

service), SpringerLink (Online, ed. Open Verification Methodology Cookbook. New York, NY: Mentor Graphics Corporation, 2009.

service), SpringerLink (Online, ed. Embedded Robotics: Mobile Robot Design and Applications with Embedded Systems. 3rd ed. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2008.

Ramesh, S., and Prahladavaradan Sampath, eds. Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems. Dordrecht: Springer Netherlands, 2007. http://dx.doi.org/10.1007/978-1-4020-6254-4.

H, Packard Michael, Ziemianski Tom, and United States. National Aeronautics and Space Administration., eds. Software design improvements. [Washington, D.C: National Aeronautics and Space Administration, 1997.

Li, Yau-Tsun Steven. Performance Analysis of Real-Time Embedded Software. Boston, MA: Springer US, 1999.

Seppänen, Veikko. Acquisition and reuse of knowledge to design embedded software. Espoo, Finland: Technical Research Centre of Finland, 1990.

Karakehayov, Zdravko. Embedded systems design with 8051 microcontrollers: Hardware and software. New York: Marcel Dekker, 1999.

Wolf, Fabian. Behavioral Intervals in Embedded Software: Timing and Power Analysis of Embedded Real-Time Software Processes. Boston, MA: Springer US, 2002.

Apt, Krzysztof R. Verification of sequential and concurrent programs. 3rd ed. Dordrecht: Springer, 2009.

Strehl, Karsten. Symbolic methods applied to formal verification and synthesis in embedded systems design. Aachen: Shaker Verlag, 2000.

Kundu, Sudipta. High-Level Verification: Methods and Tools for Verification of System-Level Designs. New York, NY: Springer Science+Business Media, LLC, 2011.

Apt, Krzysztof R. Verification of Sequential and Concurrent Programs. New York, NY: Springer New York, 1991.

Niemann, Ralf. Hardware/software co-design for data flow dominated embedded systems. Boston: Kluwer Academic Publishers, 1998.

Apt, Krzysztof R. Verification of Sequential and Concurrent Programs. New York, NY: Springer New York, 1997.

Popovici, Katalin, Frédéric Rousseau, Ahmed A. Jerraya, and Marilyn Wolf. Embedded Software Design and Programming of Multiprocessor System-on-Chip. New York, NY: Springer New York, 2010. http://dx.doi.org/10.1007/978-1-4419-5567-8.

Niemann, Ralf. Hardware/Software Co-Design for Data Flow Dominated Embedded Systems. Boston, MA: Springer US, 1998. http://dx.doi.org/10.1007/978-1-4757-2803-3.

Andrews, Jason. Co-Verification of Hardware and Software for ARM SoC Design. Elsevier Science & Technology Books, 2004.

Embedded Systems Design Analysis and Verification IFIP Advances in Information and Communication Technology. Springer-Verlag Berlin and Heidelberg GmbH &, 2013.

Reconfigurable System Design and Verification. CRC, 2009.

Reconfigurable System Design and Verification. CRC, 2009.

Rammig, Franz J., Achim Rettberg, Gunar Schirner, Mauro C. Zanella, and Marcelo Götz. Embedded Systems : Design, Analysis and Verification: 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013, Proceedings. Springer Berlin / Heidelberg, 2015.

Rettberg, Achim, Gunar Schirner, and Marcelo Götz. Embedded Systems : Design, Analysis and Verification: 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013, Proceedings. Springer, 2013.

Sampath, P., and S. Ramesh. Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems: Proceedings of the GM R&d Workshop, Bangalore, India, January 2007. Springer London, Limited, 2007.

Sampath, P., and S. Ramesh. Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems: Proceedings of the GM R&D Workshop, Bangalore, India, January 2007. Springer, 2010.

Lettnin, Djones, and Markus Winterholer. Embedded Software Verification and Debugging. Springer, 2018.

Lettnin, Djones, and Markus Winterholer. Embedded Software Verification and Debugging. Markus Winterholer, 2017.