Ben Brosgol

Senior Technical Staff,

Dr. Benjamin Brosgol, a senior member of the technical staff of AdaCore, has been involved with programming language design and implementation for more than 25 years, concentrating on languages and technologies for high-reliability systems. He led the development of the "Red" language candidate at Intermetrics, participated in the design of both Ada 83 and Ada 95, and was editor of the Safety and Security Annex of the Ada 95 standard.

Under Sun Microsystems' Java Community Process Dr. Brosgol was a member of the Expert Group for JSR-001 (Real-Time Specification for Java, or "RTSJ"), and he is currently a member of the Expert Groups for JSR-282 (RTSJ v1.1) and JSR-302 (Safety-Critical Java Technology). Dr. Brosgol is a past chair of the ACM Special Interest Group on Ada (SIGAda). He has spoken widely on safety-critical software technology. He holds a B.A. in Mathematics from Amherst College, and M.S. and Ph.D. degrees in Applied Mathematics from Harvard University.

Ada 2012: The Joy of Contracts
The new Ada 2012 standard was recently approved by ISO. It incorporates contracts that will have a major impact on application design.
Commentaries and Blogs
Guest Blogs
Sep 16, 2015

What is All This Nanogenerator Stuff, Anyway?

Nanogenerators, which harvest energy from the environment, could be the next big thing in renewable energy....More
Aug 11, 2015

Proof-of-Concept Prototypes versus Manufacturing Design Preparations 4

I have designed many early-stage proof-of-concept (POC) circuits, and observed many others do the same thing. It seems that there is often a huge disconnect between clients and engineers, though, when it comes to the goals of a POC design. In simple terms, an engineer worth his salt will overdesign an early POC circuit. This is because Murphy’s law always applies, and POCs are about overcoming unknowns. By overdesigning the circuit, one is able to prove the client’s product POC can be made to work, and quickly....More
Aug 4, 2015

Inconspicuous Pitfalls in Datasheet Analysis 1

Identifying the limitations of a datasheet saves lots of time, and cost, in terms of troubleshooting and redesigning circuits....More

Electronic Design White Papers

Why Executives are Banking on Cloud PLM to Save Money
Sponsored by Arena Solutions

Download this white paper

Flexible and Low Power Driving of Solenoid Coils
Sponsored by iC-Haus

Download this white paper

Turn Disruptive Change Into High Tech's "Next Big Thing"
Sponsored by Arena Solutions

Download this white paper

Upcoming Webcasts

Creating a Smart Automation Environment: Considerations for Successful Industrial IoT Implementations
Wed, August 5, 2:00pm EST
Sponsored by ADLINK Technology Inc.

Register Now!

Search Parts


Powered by:

The Original Electronics Parts Search And Procurment Tool


Connect With Us

Sponsored Introduction Continue on to (or wait seconds) ×