EE Times EDN DataSheets.com Design News EBN Test & Measurement World Embedded.com TechOnline Planet Analog
Events ▼
UBM Electronics

Contact Us • Subscribe to Newsletters

Daniel Bigelow

's profile
image
IT Consultant
Daniel Bigelow is an independent IT consultant located in Bern, Switzerland. His main area of interest concerns the design and implementation of highly-reliable systems where Ada technology plays an important role. He has more than 20 years of experience in all phases of the software development process in domains such as Finance, telecommunications, air traffic management, defense, railway control, and instrumentation. He holds a bachelor’s degree in electronic engineering.

Daniel Bigelow

's contributions
Articles
Comments
Discussions

    • One of the key capabilities in the new Ada 2012 standard is the contract-based programming model. Here's why.

    • Embedded.com's Industry Comment blog features technical experts and industry participants who want to share a point of view and shape reader opinion in some way. The author is an industry participant, such as a CEO, marketing director, "technology evangelist," or all of the above. Some pieces in this archive are from special magazine sections and were written by the guest editor of that section, such as Larry Mittag and Bill Gatliff.

    • Yes, most of my colleagues are Ada users, but as we all know, the presence of C-family code in most large projects is difficult to avoid. Fortunately Ada and C get along quite well, despite cultural differences. I think most developers would rather interact with a debugger for hours on end to resolve problems at runtime than to be confronted with strict language rules and a very smart compiler that repeatedly brings their skill and knowledge into question. That might be a possible explanation for the dominance of C-based languages over Ada. However, this subject is getting off topic and is better left to another branch of science – psychology.

    • You are right! Subtype predicates are indeed monitored by the pragma Assertion_Policy. Thanks for pointing that out.

    • Of all the great features in the new language standard (Iterators included) discussions among my colleagues usually gravitate towards the contract model. Also the IT press seem to “get it” judging from the number of articles appearing on the subject. For example, RFDESIGN, “Make A Contract With Your Programming Language” by William Wong, July 10, 2012 or Electronic Design, “Ada 2012: The Joy of Contracts” by Ben Brosgol, January 25, 2013.