Write a Blog >>
Wed 11 Nov 2020 17:09 - 17:10 at Virtual room 2 - Productivity

Open-source software, or, more accurately, Freely Licensed Open-Source Software (“FLOSS”), at first appears to present a dilemma when adopted as part of a business model. If users are allowed to access, modify and/or redistribute the source code, how does a company protect its intellectual property, and more fundamentally, sell something that can be easily and legally reproduced?

AdaCore has faced this issue since the company’s inception in 1994. Its major commercial product, GNAT Pro Ada, is an Ada development environment based on the GNU Compiler Collection (GCC) from the Free Software Foundation (FSF). AdaCore has implemented an Ada compiler front end and companion run-time libraries and tools and has contributed these components to the FSF. In turn, the GNAT Pro Ada compiler incorporates the GCC back end for a variety of target architectures. Leveraging the GCC back end has enabled AdaCore to make Ada available on a wide range of platforms, both native and embedded, at a significantly reduced effort – indeed, that was the technical rationale for choosing GCC and a design goal of GCC itself. But the challenge of this approach is how to generate a sustained and profitable business. AdaCore’s 25 years of FLOSS experience offers an explanation and “lessons learned”.

Dr. Benjamin Brosgol is a member of the senior technical staff of AdaCore. He has been involved with programming language design and implementation throughout his career, concentrating on languages and technologies for high-assurance software. Dr. Brosgol was a member of the design team for Ada 95, and he has also served in the Expert Groups for several Java Specification Requests. He has presented papers and tutorials on safety and security certification on numerous occasions including ESC (Embedded Systems Conference), ICSE (IEEE/ACM International Conference on Software Engineering), STC (Software Technology Conference), ACM SIGAda, and Ada-Europe. Dr. Brosgol holds a BA in Mathematics from Amherst College, and MS and PhD degrees in Applied Mathematics from Harvard University.

Wed 11 Nov
Times are displayed in time zone: (UTC) Coordinated Universal Time change

17:00 - 17:02
Talk
Paper Presentations
Zhendong WangUniversity of California, Irvine
17:03 - 17:04
Talk
Student Research Competition
Rozaliya AmirovaInnopolis University, Russia
DOI
17:05 - 17:06
Talk
Tool Demos
Kaan ÜnlüBilkent University, Barış ArdıçBilkent University, Turkey, Eray TüzünBilkent University
Link to publication DOI Authorizer link Pre-print
17:07 - 17:08
Talk
Industry Papers
Cem SürücüVolkswagen Financial Services, Germany / University of Magdeburg, Germany, Bianying SongVolkswagen Financial Services, Germany, Jacob KrügerUniversity of Magdeburg, Germany, Gunter SaakeUniversity of Magdeburg, Germany, Thomas LeichHarz University of Applied Sciences, Germany
DOI
17:09 - 17:10
Talk
Journal First
17:11 - 17:12
Talk
Journal First
William R. NicholsCarnegie Mellon University/Software Engineering Institute
17:12 - 17:14
Talk
Journal First
Zhendong WangUniversity of California, Irvine, Yang FengNanjing University, Yi WangCoCo Labs, USA, James JonesUniversity of California, Irvine, David RedmilesUniversity of California, Irvine
17:14 - 17:30
Talk
Paper Presentations
Ben BrosgolAdaCore, Kaan ÜnlüBilkent University, Rozaliya AmirovaInnopolis University, Russia, Zhendong WangUniversity of California, Irvine, William R. NicholsCarnegie Mellon University/Software Engineering Institute, M: Alexander SerebrenikEindhoven University of Technology