P&P Software

Go to: Birrer Iwan | Pasetti Alessandro | Pasetti Angelika | Cechticky Vaclav | Norford Tim

High Tech Center 1
Taegerwilen, CH-8274
Switzerland
 
Phone: +41 (0)78 843 9401
Fax: +41 (0)71 669 1693
Email: vaclav.cechticky@pnp-software.com

Education

• 02/2000—12/2004: Dr. sc. ETH-Zürich in Informationstechnologie und Elektrotechnik, Automatic Control Laboratory, ETH Zürich, Switzerland
• 02/2000—01/2003: Dipl. NDS ETHZ in Informationstechnik, Nachdiplomstudium — Informationstechnik at the Department of Electrical Engineering, ETH Zürich, Switzerland
• 1997—1999: Dipl. El.-Ing. in Control Systems, Department of Control Engineering, Faculty of Electrical Engineering, Czech Technical University, Czech Republic
• 1993—1997, Bc. in Electrical Engineering, Faculty of Electrical Engineering, Czech Technical University, Czech Republic

Career History

• 01/2011: Senior Software Consultant - Freelancer (full-time), P&P Software GmbH
• 10/2008–12/2010: Senior Software Engineer (full-time), Roche Diagnostics AG, Rotkreuz (ZG), Switzerland
• 12/2005–09/2008: Software Engineer (full-time), Roche Diagnostics AG, Rotkreuz (ZG), Switzerland
• 07/2004–11/2005: Software Engineer (part-time), P&P Software GmbH (part-time)
• 12/2004–11/2005: Post-doctoral Fellow (part-time), Automatic Control Laboratory, ETH Zürich, Switzerland
• 02/2000–11/2004: Ph.D. Candidate, Automatic Control Laboratory, ETH Zürich, Switzerland

Expertise

• software architecture & software design for control systems
• object-oriented software frameworks
• software modeling and transformation to code
• real-time systems
• functional and non-functional software testing
• software development process for medical devices (FDA)
• microprocessor programming

• RUP, V- Model, Scrum
• RequisitePro, ClearQuest, TFS, Redmine/Trac
• Eclipse, Enterprise Architect
• Subversion, Git
• Boost library, Qt, libxml
• C, C++, Objective-C, Java, XML/XSLT/XSD, Eclipse technologies, UML
• VxWorks, Linux with Real-Time extension, Windows

Selected Research Projects

• 2005-07: Model-Driven Software Frameworks
• 2004-05: Automated Proof-Based System and Software Engineering for Real-Time Applications (ASSERT)
• 2003-04: Feature-Based Framework Modelling – XML-based modelling approach to automated software framework instantiation process
• 2002-03: Automated Framework Instantiation – the automated software framework instantiation process based on generative programming techniques
• 2001-02: Real Time Java Project – development of an object-oriented component-based software framework for control systems implemented in real-time Java

Editorships

2007-10

• Associate Editor of Control Engineering Practice, Elsevier Science

Publications - Contributions to Books and Conference Proceedings

2006

• A UML2 Profile for Reusable and Verifiable Real-Time Components, V. Cechticky, M. Egli, A. Pasetti, O. Rohlik, T. Vardanega; in: M. Morisio(ed), Reuse of Off-The-Shelf Components (ICSR), LNCS Series, Vol. 4039, Springer-Verlag, 2006

2005

• The Adaptability Challenge for Embedded Control System Software, V. Cechticky, A. Pasetti, W. Schaufelberger; Proceedings of the IFAC World Congress 2005, Prague, Czech Republic

2004

• Implementing Adaptability in Embedded Software through Aspect-Oriented Programming, I. Birrer, V. Cechticky, A. Pasetti, O. Rohlik; Proceedings of IEEE Mechatronics & Robotics 2004, Aachen, Germany
• Teaching of software for control systems using handheld and laptop computers and simple robots, H. J. Bosshard, I. Birrer, V. Cechticky, A. Rohlik, A. H. Glattfelder and W. Schaufelberger; In Proceedings 33rd International Symposium Ingenieurpädagogik , Fribourg, Switzerland, 2004
• XML-Based Feature Modelling, V. Cechticky, A. Pasetti, O. Rohlik, W. Schaufelberger; in: J. Bosch and C. Krueger (eds), Software Reuse: Methods, Techniques, and Tools (ICSR), LNCS Series, Vol. 3107, Springer-Verlag, 2004

2003

• A Generative Approach to Framework Instantiation, V. Cechticky, A. Pasetti, W. Schaufelberger; in: F. Pfenning, Y. Smaragdakis (eds), Generative Programming and Component Engineering (GPCE), LNCS Series, Vol. 2830, Springer-Verlag, 2003
• A Java-Based Framework for Real-Time Control Systems, A. Blum, V. Cechticky, A. Pasetti, W. Schaufelberger; Proceedings of the 9th IEEE International Conference onEmerging Technologies and Factory Automation (ETFA); Sept. 2003, Lisbon, Portugal
• Generative Programming for Space Applications, V. Cechticky, A. Pasetti; Proceedings ofthe 14-th Data Systems in Aerospace (DASIA) Conference; June 2003,Prague, Czech Republic

2002

• The AOCS Framework, V. Cechticky, G. Montalto, A. Pasetti, N. Salerno; Proceedings of the 5-th International ESA Conference on Spacecraft GNC; Oct. 2002, Frascati, Italy
• Real-Time Java for On-Board Systems, V. Cechticky, A. Pasetti; Proceedings of the 13-th Data Systems in Aerospace (DASIA) Conference; May 2002, Dublin, Ireland
• A new approach to software development for embedded control systems, V. Cechticky, A. Pasetti and W. Schaufelberger; In Proceedings of MSy'02, Winterthur, Switzerland, pp. 75-83, 2002
• Testing Embedded Control Systems Using Hardware-in-the-Loop Simulation and Temporal Logic. M. Sanvido, V.Cechticky and W.Schaufelberger; In Proceedings of the 15th IFAC'02 World Congress, Barcelona, Spain, 2002

Print this page