NDLI: A look at Ada from both sides now (a government, and a defense contractor perspective)

Please wait, while we are loading the content...

Introduction to Ada

An ada retrospective: developing large, mature, reliable systems

An introduction to the C# language and .NET infrastructure

Open source development of a safety critical dual redundant (Ada95/C++) signal control program environment (SCOPE)

How Ada object orientation works

Validate, simulate, and implement ARINC653 systems using the AADL

Embedded systems engineering with the AADL: modeling & analysis

"Automatic Prototype Generating" restated with re-ADA: perspective-bridged architecture for document-driven systems transitioning

SPARK: the libre language and toolset for high-assurance software engineering

On using Ada to solve problems in computational economics and related disciplines with concurrent, multiagent algorithms

Unmanned systems and Ada

Experience in integrating interchangeable scheduling policies into a distribution middleware for Ada

Ada for real-time and parallel processing

Dynamic analysis of branch mispredictions in Ada

Service oriented architecture (SOA) concepts and implementations

Echo: a new approach to formal verification based on Ada

Embedded, hard, real-time systems with Ada

Use of SPARK in a resource constrained embedded system

Multi-language programming with Ada

A robotics API dialect for type-safe robots: translating Myro to Ada

Working towards DO-178C/ED-12C, DO-248C/ED-94C, and DO-278A/ED109A

Complementing Ada with other programming languages

Distributed container: a design pattern for fault tolerance and high speed data exchange

A look at Ada from both sides now (a government, and a defense contractor perspective)

Georegistration of imagery from unmanned aircraft systems using Ada

The new semantic model in ASIS for Ada 2005

A look at Ada from both sides now (a government, and a defense contractor perspective)

Content Provider	ACM Digital Library
Author	Smart, Jay C.
Abstract	The Ada programming language has had a remarkable history, and promises an even more remarkable future. In this keynote address, Dr. J. Smart from Raytheon will provide his perspective on both as seen from within government, and from within private industry. With the pervasive nature of computing, the trade-craft of contemporary software development has changed considerably in recent years. Arguably, not all the change has been for the better. What may have once been regarded as minor flaws or operational nuisances in software system implementations can now manifest in far more devastating ways, and with potentially severe consequences. The boundaries of Ada's "embedded system" niche are becoming increasingly difficult to discern from commodity software, particularly as the challenges of computer security compound. A critical need now exists for a much broader application of the unique culture and programming discipline that has naturally accompanied Ada for these many years. Of particular personal research interest to the presenter is the new generation of reconfigurable computing systems and devices (e.g., FPGAs). The ability to specify a system from the highest level of abstraction all the way down to an individual gate level is now possible from within a single unified description framework. Ada is potentially the ideal choice for such a framework. The presenter will describes his experiences using Ada in this manner to design and implement a most unusual dynamic computing machine. In this application where reliability and formal verification is of upmost importance, the Ada language has been the major contributor to the effort's success.
Starting Page	119
Ending Page	120
Page Count	2
File Format	PDF
ISBN	9781605584751
DOI	10.1145/1647420.1647446
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2009-11-01
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Real-time Infrastructure Programming Languages Software Embedded Abstraction Computing Interfacing Systems Ada Reconfigurable
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in