Validation of Communications Systems with SDL: The Art of SDL Simulation and Reachability Analysis
Copyright © 2003 John Wiley & Sons, Ltd
Author(s): Laurent Doldi
Print ISBN: 9780470852866
Online ISBN: 9780470014158
About the Author
Laurent Doldi worked for several years in safety-critical software development at Airbus. He then joined Verilog in 1987 where he used SDL for many customer applications. Since 1997 Doldi has been a private consultant, using Telelogic's ObjectGeode™ and Tau SDL Suite™ for design, simulation and code generation worldwide on UMTS, GPRS, rocket mission-critical software, PC firmware, and several satellite communications systems. Laurent Doldi is also author of SDL Illustrated - Visually design executable models - TMSO - ISBN 2-9516600-0-6.