Request Expert

Expert has substantial experience with software safety and reliability. Most of his career has been spent working with high-assurance systems and safety-critical software. He has developed software for commercial aviation systems, for medical devices, and for industrial controls and safety sensors. As such he has worked with standards and regulations including DO-178B, IEC-61508, and 21 CFR Pt. 820. He has developed software for government identification production, and for secure smartcard personalization for credit card companies. He is proficient in the use of several development and verification tools for software assurance, and familiar with a host of others. He has performed analyses of failed software systems in order to discover their point of failure. Among the analysis tools he is very skilled with are PolySpace, PC-Lint / Flexelint, UVA Splint, and CMT++. As he has an academic interest in high-integrity software assurance, he has done a great deal of research in this area. He has become quite familiar with various safety standards, providing guidance to his clients in their correct application, working with auditors and safety consultants, and helping to improve design and coding standards to establish process and standards improvements for the combined purposes of software safety and development productivity.

Expert is a specialist in software systems and application architecture and design; especially with regard to high-assurance and safety-critical software and firmware. Since 1991, he has held ICCP certificates of proficiency in Software Engineering and Systems Development, both rated at the expert level. He has architected a number of applications and software components, and re-engineered and enhanced features on existing applications. Expert is skilled in assessing weaknesses in architectures, and in many cases, identifying opportunities for improvement. Among the architectures he has created are architectures for an industrial gas sensor transmitter, for software components in an air data computer, for a device driver framework, and for a point-of-sale loyalty terminal application. He has analyzed and assessed a number of legacy architectures for maintenance and enhancement purposes as well, including a client-server drivers license issuance and voter registration system, a computer-integrated manufacturing (CIM) application running an automotive assembly-line, and two different air-data computers. He is familiar with application modeling, model-driven architecture concepts, and design patterns.

Expert is familiar with a number of UML CASE tools, including Rational Rose, IBM/Telelogic Rhapsody, and Sparx Enterprise Architect; and is well-versed in model-based code generation strategies such as model-driven architecture (MDA). He is experienced in the use of object-oriented techniques (OOT), including object-oriented analysis (OOA), object-oriented design (OOD), and object-oriented programming (OOP). He has created development standards to help organizations safely exploit the benefits of OO technology. Expert's programming language experience also encompasses object-oriented languages including C++, C#, Java, Python, and Smalltalk.

Expert has performed substantial work in the area of embedded and real-time systems. He has implemented and integrated the firmware for radio-frequency remote control systems, smart-card personalization modules, industrial controllers, communications boards, and many others. While all of his embedded work was performed primarily in C, assembly language programming also played a part, and Expert has written assembly language code for processors and controllers including: Motorola 6085, 680x0, and PowerPC/603e; Hitachi H8, and SH2; Toshiba TLCS-900; Intel 8051, 80x86, and 8085; Texas Instruments MSP430; and the Zilog Z80. He has created interrupt-driven drivers for a number of data communication protocols including HART, ModBUS, SPI, RS-232, and I2C. He has also been responsible for analyzing the assembly-language outputs from compilers in order to satisfy safety objectives for critical aircraft subsystems.

Expert has substantial expertise in C and C++ programming. While he has also established proficiency in a number of other languages, Expert's development work has been primarily C and C++ since 1992. He has worked with compilers and development suites from Microsoft, IBM, GNU, IAR, Keil, Borland, IBM, Watcom, and several others. Expert understands many of the semantic differences that exist between C as a stand-alone language and C as a subset of C++, and the software defects that can arise from not having this understanding. His examples and feedback to tool vendors have helped them improve their development tools. In both languages, he is adept at designing very efficient algorithms and at performing performance optimizations on existing algorithms. For C++, he is familiar with polymorphism, inheritance and class hierarchy design, pattern application, template metaprogramming, and safe use of templates. In addition to original software development, Expert has performed extensive automated and manual analysis of such systems for safety properties, quality assurance, and for reverse engineering and maintenance purposes. He has developed C and C++ coding standards for software development organizations of 5 - 50 programmers; including some that were involved in safety-critical development.

Expert has developed and/or enhanced several of desktop and client-server applications. The applications he worked on ranged from monolithic, to three-tier, to web-based architectures. The applications were written for a variety of platforms, application programming interfaces, and databases, including WIN32, OS/2, Linux, SunOS/Solaris, COM/DCOM, .NET, DB/2, SQL Server, and Access. Some of these systems were also High-integrity and/or safety-critical applications.

Expert has a research interest in programming languages, and has worked with a number of them. He has worked extensively with imperative languages such as BASIC, C, Pascal; and object-oriented languages and hybrids such as Smalltalk, Java, Ada, C#, and C++. He has worked with low-level languages including Forth, and Postscript; scripting languages such as Python and Rexx; and assembly languages for a number of processors and micro-controllers including 8-bit, 16-bit, and 32-bit architectures utilizing CISC and RISC. Some of the more unusual languages he has worked with include Labview, LISP, Forth, HPL (a predecessor to HP-BASIC), and A+ (a proprietary derivative of APL). He has worked with clients improve proprietary scripting languages for test and simulation, and enhanced interpreters for these languages. Academically, Expert gained experience with Prolog, LISP, ML, Fortran, Cobol, Modula-2, Modula-3, and Icon. Expert has worked to understand similarities, differences, and relative benefits of various languages. He has researched several of these languages in depth, looking at issues of efficiency, semantics, and domain suitability. He has gained an understanding of the impact that the choice of programming language can have on a project.

Expert is a specialist in the field of high-assurance software for safety-critical systems. His expertise includes development, quality assurance, and testing practices across a broad range of applications.

Expert has extensive experience with automated test equipment (ATE) and built-in test (BIT). He has designed ATE applications and libraries for several systems; performing data-acquisition, analog measurement, and data communications. He helped to design the hardware, and created the developer libraries for two generations of medical devices test stations. He also designed and implemented many of the tests that ran on those stations. He created the diagnostic and characterization software for several RF amplifiers used in cellular telecommunications ground sites. On one of those projects he created an extensible GPIB instrumentation class hierarchy that was adopted by test engineers site-wide, and resulted in great productivity gains in subsequent projects. Expert has also built-in-test and power-up tests for embedded applications, including an air-data computer. He has developed innovative algorithms for some very challenging situations, including a test for a 32-bit address bus that could be run in real-time without affecting protected memory locations. Expert also has related ATE experience on the hardware side pertaining to electronic, robotic, and electromechanical stations used in semiconductor wafer testing; and diagnostic and test systems used in maintaining the phased-array early warning and space track radar known as PAVE-PAWS.

On assignment at Honeywell Aerospace, Expert developed applications and libraries for the Air Data / Inertial Reference Unit (ADIRU) flight computer destined for the Airbus A380 "superjumbo" airliner. His primary work was performed in conformance with DO-178B/ED-12B Level A standards. He was also charged with a substantial update of the organization's software development standards. Expert successfully facilitated the resolution of technical issues among two Honeywell software organizations and their customer, Airbus. When a serious issue was discovered with a legacy ADIRU product, Expert was brought in for his general systems knowledge and analytical abilities, as the only member of the investigative team who had not been involved in the original product development. In all, Expert has participated in the design, development and test of 4 different Honeywell aerospace systems; all of which were developed at level A or level B of DO-178B standards. He also worked on two defense-related projects.In a prolonged engagement with Medtronic, Expert helped to establish a new automated test system for verification of PCD (pacer-cardio-defibrillator, a specialized "pacemaker") firmware and hardware. His involvement here included circuit board modifications, software library development, station build-up, development of calibration procedures, and test developer/user training. He also participated as a member in the firmware verification team. Because his expertise with the automated test systems, he was later assigned to the R&D group to aid in the test station development and firmware verification for a new family of Atrial PCDs. This group then spun off as a product group, and Expert joined the software development team for the real-time programmer device, used by physicians to communicate with Medtronic PCDs. Expert's efforts and expertise greatly contributed to bringing to market 4 different PCD products.
During an assignment with Honeywell's sensors division, Expert developed firmware for radio-frequency (RF) remote control receiver and transmitter devices for the rail transport industry. He was selected for this assignment especially for his expertise in the C programming language and his background in RF communications and telemetry. He established development standards and mentored other software developers, who had previously only developed software using assembly language. Following the completion of the software, Expert was re-assigned to the hardware team, where he advised on several circuit modifications, and aided in integration testing. A few months after the assignment ended, Expert was called in to advise on a "problem" the group was having in their tests. The Honeywell team was unable to detect any message corruption even when inducing large amounts of RF noise into the system for prolonged periods. This was an unexpected result, since the communication protocol was very simple and had only basic integrity checks. Expert was able to quickly allay concerns of hardware / testing anomalies, by explaining that he had anticipated that the devices would be expected to operate in very noisy industrial settings and had developed a noise immunity algorithm in the receiver's driver software. Upon pointing the team to the documentation of the algorithm; the team was elated by the results they had seen, and Expert was congratulated on a job well done.
Over several assignments with DataCard, Expert served in various roles as team member, applications architect, technical lead, and Project Manager. As a driver architect, Expert was contracted to create driver software for a specialized printing device. He developed a new architectural framework for serial memory card (smartcard) personalization drivers, and implemented a number of drivers using the framework. He met schedule and cost constraints with a solution that far exceeded performance and memory consumption expectations; while yielding the further benefit that new cards can be added in about than 10% of the time previously required. As a project manager, he always exceeded client expectations with regard to budget and schedule; in one instance saving 70% of estimated effort for an application upgrade by taking advantage of technical features in their existing system that hadn't been previously considered; as an added benefit, this solution exposed DataCard to much less risk than the originally planned approach.
With over 25 years of software development experience, Expert has created software and firmware for many different purposes. He is adept with the use of structured and object-oriented techniques of software construction. He is familiar with several methodologies and techniques, including Agile, RUP, Shlaer-Mellor, Booch, MDA. His programming language background includes C, C++, C#, Java, Ada, Pascal, LISP, Prolog, Smalltalk, BASIC, and Forth; as well as several scripting languages, and assembly languages for a number of microprocessors and controllers. He has worked with many desktop and real-time operating systems. While he is also skilled in matters of hardware and test, he has established himself as an expert in all phases of the development of high-assurance software systems for safety-critical applications.