Blueprint for an Embedded Systems Programming Language

Total Page:16

File Type:pdf, Size:1020Kb

Blueprint for an Embedded Systems Programming Language Blueprint for an Embedded Systems Programming Language Paul Soulier Depeng Li Dept. of Information and Computer Sciences Dept. of Information and Computer Sciences University of Hawaii, Manoa University of Hawaii, Manoa Honolulu, Hawaii 96822 Honolulu, Hawaii 96822 Email: [email protected] Email: [email protected] Abstract Given the significant role embedded systems have, the implications of faulty software is clearly evident. Embedded systems have become ubiquitous and are However, software logic errors are not the only manner found in numerous application domains such as sen- in which a system can malfunction. The Stuxnet virus sor networks, medical devices, and smart appliances. [14] is an example of a failure caused by a malicious Software flaws in such systems can range from minor software attack that ultimately caused an industrial nuisances to critical security failures and malfunc- control system to destroy itself. As Internet connectiv- tions. Additionally, the computational power found in ity becomes increasingly common in embedded sys- these devices has seen tremendous growth and will tems, they too will be susceptible to software-based likely continue to advance. With increasingly powerful security exploits. hardware, the ability to express complex ideas and Many areas of software development have benefitted concepts in code becomes more important. Given the from the improvements made to programming lan- importance of developing safe and secure software guages. Modern languages are more capable of detect- for these applications, it is interesting to observe that ing errors at compile-time through their type system the vast majority of software for these devices is and many of the low-level and error prone aspects of written in the C programming language —an inher- programming have been abstracted away. This enables ently unsafe language as compared to other modern the development of more reliable and complex applica- languages. This paper examines the characteristics tions. Embedded systems are an exception to this. The and requirements that uniquely differentiate embedded vast majority of embedded systems are still developed systems from other application domains. The result using the decades-old C programming language —an is a blueprint for a modern, high-level programming inherently unsafe language with only the basic features language specifically designed for embedded systems. of the imperative paradigm. Despite its flaws, C has stubbornly remained the de facto standard for embedded system development. 1. Introduction The reasons for this are difficult to identify (al- though a massive existing code base and the lack Embedded systems exist in a multitude of appli- of a compelling replacement could be factors). Vari- cations and advances in hardware technology will ous language-based approaches have been created to continue to make them capable of greater degrees of address many of the shortcomings of C —all with sophistication and intelligent functionality. While often varying degrees of success as they apply to low- unnoticed and unseen, these systems are responsible level programming. These solutions tend to focus only for properly controlling medical devices, automobile on a subset of all the issues involved with low- braking systems, industrial control systems, and nu- level software development while not considering other merous other cyber-physical systems that interact with critical aspects. What is missing is a cohesive and the world in profound ways. The growing fields of sen- practical language that effectively incorporates all of sor networks and the Internet of Things combined with these methods and techniques in a manner consistent ubiquitous Internet connectivity will further expand the with the needs of embedded systems. use of embedded systems. On language design Landin [9] remarks in the paper “The Next 700 Programming Languages” that with potentially thousands of vehicles being recalled. “...we must systematize their design so that With these strict requirements, the need to successfully a new language is a point chosen from a develop and release error-free software very important. well-mapped space, rather than a laboriously devised construction.” 2.2. Data Layout and Representation To design a compelling language to replace C, we must first identify what the language needs to look like. In most applications, developers are really just con- With this in mind, the contribution of this paper is a cerned with what data needs to be stored in a structure; description of the features and constructs necessary in where the data goes and how much room it takes a language designed to implement secure and reliable is generally unimportant. Embedded systems, on the embedded systems software. other hand, care a lot about where data is located in a This paper is structured as follows. Section 2 de- structure and how much space it consumes. scribes the characteristics that differentiate embedded The ability to specify the size and location of data systems from other programming disciplines. Section is necessary when defining language-based structures 3 presents the blueprint of a programming language that must match hardware structures or standardized designed to produce secure and reliable embedded protocols. Data layout is also an important tool for tun- software. Section 4 highlights related research that has ing. Organizing a structure to improve memory locality attempted to address the shortcomings of programming based on knowledge of the CPU cache architecture languages for embedded systems, and finally, section or runtime access can have a significant performance 5 concludes. impact. The ability to represent and manipulate data in arbitrary ways is a fundamental aspect of writing 2. Characteristics of Embedded Systems embedded systems code. Embedded systems have a number of characteristics that differentiate them from other application domains. 2.3. Hardware Interaction These particularities make most programming lan- guages ill-suited for this type of software development. Embedded systems interact directly with hardware High-level languages generally attempt to provide through memory-mapped IO or low-level CPU instruc- helpful abstractions for tasks that can be automated tions. In the case of memory-mapped IO, hardware by the compiler or those that are error-prone. While registers appear as normal memory, but may behave these abstractions can improve development efficiency in ways that are not entirely consistent with regular and reduce errors, they have the unfortunate side memory. Consider, for example, a hardware device that effect of obscuring the low-level details that embedded accepts a 32-bit value from the host through a 16-bit systems must deal with. The necessity to interact memory-mapped register. Listing 1 shows pseudocode directly with hardware, specify the organization of data that could be used to send this value to the device. within a structure, operate with limited resources, and The host writes the most significant 16-bit value to performance requirements are all elements that bring the register followed by the least significant value. a unique set of challenges to developing this type of software. This section examines the various aspects of u16 *reg = device->input_reg; embedded systems that necessitates a domain-specific language. *reg = val >> 16; *reg = (val & 0xffff) 2.1. Safety and Reliability Listing 1. “Interfacing with Hardware” As mentioned in the introduction, embedded systems are often found in devices that can have a major The compiler, unaware that the memory location is impact to the physical world. It is frequently required different from others, may eliminate the first assign- that these systems operate without error and with no ment upon seeing the same memory address is im- down-time. Furthermore, if a problem is found and a mediately overwritten by another value. Idiosyncrasies software fix is identified, upgrades can be difficult and such as this are common in embedded systems where sometimes impossible. Consider faulty software in an unique hardware properties do not always match the automobile component —the implications are massive abstract machine of the programming language. 2.4. Transparent Expression can have a profound impact to a programs ability to achieve its goals. These small performance gains Transparency is a trait of language expression that often come from specific knowledge of a system and is particularly import to embedded systems. One of the the programmer’s ability to generate appropriate code strengths of the C programming language is that it is rather than a compiler’s optimizer. Performance can be easy for the programmer to conceptualize how source a major influence in the overall design of an embedded code will translate into machine instructions and data system. structures. This ability becomes very important when attempting to fit code or data into resource-limited 3. Language Blueprint hardware, gaining additional performance, or interface with hardware. Expressiveness can be described as the property of a language that allows a programmer to effectively trans- 2.5. Constrained Environment late concepts and ideas into code. The more expressive a language is, the easier it is for a programmer to Embedded systems are almost always constrained in realize a solution to a problem. This trait is domain some fashion. The most common limitations encoun- specific; what constitutes an expressive language in tered are computational power (memory and
Recommended publications
  • PL/I List Processing • PL/I Language Lacked FaciliEs for TreaNg Linked Lists HAROLD LAWSON,JR
    The Birth of the Pointer Variable Based upon: Experiences and Reflec;ons of a Computer Pioneer Harold “Bud” Lawson FELLOW FELLOW and LIFE MEMBER IEEE COMPUTER SOCIETY CHARLES BABBAGE COMPUTER PIONEER FELLOW Overlapping Phases • Phase 1 (1959-1974) – Computer Industry • Phase 2 (1974-1996) - Computer-Based Systems • Phase 3 (1996-Present) – Complex Systems • Dedicated to all the talented colleagues that I have worked with during my career. • We have had fun and learned from each other. • InteresMng ReflecMons and Happenings are indicated in Red. Computer Industry (1959 to 1974) • Summer 1958 - US Census Bureau • 1959 Temple University (Introduc;on to IBM 650 (Drum Machine)) • 1959-61 Employed at Remington-Rand Univac • 1961-67 Employed at IBM • 1967-69 Part Time Consultant (Professor) • 1969-70 Employed at Standard Computer Corporaon • 1971-73 Consultant to Datasaab, Linköping • 1973-… Consultant .. Expert Witness.. Rear Admiral Dr. Grace Murray Hopper (December 9, 1906 – January 1, 1992) Minted the word “BUG” – During her Mme as Programmer of the MARK I Computer at Harvard Minted the word “COMPILER” with A-0 in 1951 Developed Math-MaMc and FlowmaMc and inspired the Development of COBOL Grace loved US Navy Service – The oldest acMve officer, reMrement at 80. From Grace I learned that it is important to queson the status-quo, to seek deeper meaning and explore alterna5ve ways of doing things. 1980 – Honarary Doctor The USS Linköpings Universitet Hopper Univac Compiler Technology of the 1950’s Grace Hopper’s Early Programming Languages Math-MaMc
    [Show full text]
  • Systems Programming in C++ Practical Course
    Systems Programming in C++ Practical Course Summer Term 2019 Course Goals Learn to write good C++ • Basic syntax • Common idioms and best practices Learn to implement large systems with C++ • C++ standard library and Linux ecosystem • Tools and techniques (building, debugging, etc.) Learn to write high-performance code with C++ • Multithreading and synchronization • Performance pitfalls 1 Formal Prerequisites Knowledge equivalent to the lectures • Introduction to Informatics 1 (IN0001) • Fundamentals of Programming (IN0002) • Fundamentals of Algorithms and Data Structures (IN0007) Additional formal prerequisites (B.Sc. Informatics) • Introduction to Computer Architecture (IN0004) • Basic Principles: Operating Systems and System Software (IN0009) Additional formal prerequisites (B.Sc. Games Engineering) • Operating Systems and Hardware oriented Programming for Games (IN0034) 2 Practical Prerequisites Practical prerequisites • No previous experience with C or C++ required • Familiarity with another general-purpose programming language Operating System • Working Linux operating system (e.g. Ubuntu) • Basic experience with Linux (in particular with shell) • You are free to use your favorite OS, we only support Linux 3 Lecture & Tutorial • Lecture: Tuesday, 14:00 – 16:00, MI 02.11.018 • Tutorial: Friday, 10:00 – 12:00, MI 02.11.018 • Discuss assignments and any questions • First two tutorials are additional lectures • Everything will be in English • Attendance is mandatory • Announcements on the website 4 Assignments • Brief non-coding quizzes
    [Show full text]
  • Kednos PL/I for Openvms Systems User Manual
    ) Kednos PL/I for OpenVMS Systems User Manual Order Number: AA-H951E-TM November 2003 This manual provides an overview of the PL/I programming language. It explains programming with Kednos PL/I on OpenVMS VAX Systems and OpenVMS Alpha Systems. It also describes the operation of the Kednos PL/I compilers and the features of the operating systems that are important to the PL/I programmer. Revision/Update Information: This revised manual supersedes the PL/I User’s Manual for VAX VMS, Order Number AA-H951D-TL. Operating System and Version: For Kednos PL/I for OpenVMS VAX: OpenVMS VAX Version 5.5 or higher For Kednos PL/I for OpenVMS Alpha: OpenVMS Alpha Version 6.2 or higher Software Version: Kednos PL/I Version 3.8 for OpenVMS VAX Kednos PL/I Version 4.4 for OpenVMS Alpha Published by: Kednos Corporation, Pebble Beach, CA, www.Kednos.com First Printing, August 1980 Revised, November 1983 Updated, April 1985 Revised, April 1987 Revised, January 1992 Revised, May 1992 Revised, November 1993 Revised, April 1995 Revised, October 1995 Revised, November 2003 Kednos Corporation makes no representations that the use of its products in the manner described in this publication will not infringe on existing or future patent rights, nor do the descriptions contained in this publication imply the granting of licenses to make, use, or sell equipment or software in accordance with the description. Possession, use, or copying of the software described in this publication is authorized only pursuant to a valid written license from Kednos Corporation or an anthorized sublicensor.
    [Show full text]
  • Chapter 4 Introduction to UNIX Systems Programming
    Chapter 4 Introduction to UNIX Systems Programming 4.1 Introduction Last chapter covered how to use UNIX from from a shell program using UNIX commands. These commands are programs that are written in C that interact with the UNIX environment using functions called Systems Calls. This chapter covers this Systems Calls and how to use them inside a program. 4.2 What is an Operating System An Operating System is a program that sits between the hardware and the application programs. Like any other program it has a main() function and it is built like any other program with a compiler and a linker. However it is built with some special parameters so the starting address is the boot address where the CPU will jump to start the operating system when the system boots. Draft An operating system typically offers the following functionality: ● Multitasking The Operating System will allow multiple programs to run simultaneously in the same computer. The Operating System will schedule the programs in the multiple processors of the computer even when the number of running programs exceeds the number of processors or cores. ● Multiuser The Operating System will allow multiple users to use simultaneously in the same computer. ● File system © 2014 Gustavo Rodriguez-Rivera and Justin Ennen,Introduction to Systems Programming: a Hands-on Approach (V2014-10-27) (systemsprogrammingbook.com) It allows to store files in disk or other media. ● Networking It gives access to the local network and internet ● Window System It provides a Graphical User Interface ● Standard Programs It also includes programs such as file utilities, task manager, editors, compilers, web browser, etc.
    [Show full text]
  • Lecture 24 Systems Programming in C
    Lecture 24 Systems Programming in C A process is a currently executing instance of a program. All programs by default execute in the user mode. A C program can invoke UNIX system calls directly. A system call can be defined as a request to the operating system to do something on behalf of the program. During the execution of a system call , the mode is change from user mode to kernel mode (or system mode) to allow the execution of the system call. The kernel, the core of the operating system program in fact has control over everything. All OS software is trusted and executed without any further verification. All other software needs to request kernel mode using specific system calls to create new processes and manage I/O. A high level programmer does not have to worry about the mode change from user-mode to kernel-mode as it is handled by a predefined library of system calls. Unlike processes in user mode, which can be replaced by another process at any time, a process in kernel mode cannot be arbitrarily replaced by another process. A process in kernel mode can only be suspended by an interrupt or exception. A C system call software instruction generates an OS interrupt commonly called the operating system trap . The system call interface handles these interruptions in a special way. The C library function passes a unique number corresponding to the system call to the kernel, so kernel can determine the specific system call user is invoking. After executing the kernel command the operating system trap is released and the system returns to user mode.
    [Show full text]
  • 8297 SYSTEMS PROGRAMMER 1 Nature of Work Under General
    8297 SYSTEMS PROGRAMMER 1 Nature of Work Under general supervision, an employee in this class performs work of considerable difficulty to provide software support through installing and maintaining software systems such as TSO, IMS, TMS, SAS, CICS, WYLBUR, or other major subsystems. Work includes monitoring, debugging, updating and controlling software packages which interface with application programs of the various users. The incumbent works closely with higher level Systems Programmers on the more complex aspects of installations to assure compatibility with existing software/hardware environment. The incumbent participates in self-study and on-the-job training to improve skills in complex systems programming. An irregular work schedule and on-call duty is required of the position. May function as a consultant in the choice of installation and implementation of office automation equipment and software; the assignments involve multiple application, multiple platforms and complex, interdepartmental communications. Performs related work as required. Distinguishing Characteristics Systems Programmer 1 provides software support for systems which affect a large percentage of the user community. Errors in judgment at this level could affect a number of user operations for a period of time; however, the central mainframe system would continue to operate. Systems Programmer 2 provides support for major software systems; errors in judgment at this level could shut-down the entire central mainframe system. Examples of Work Installs and maintains systems software packages or data base management and data communications systems. Receives advanced training to improve techniques and methodologies used in support of complex host resident software packages. Monitors computer performance to identify, correct and/or improve the operational efficiency of the hardware/software configuration.
    [Show full text]
  • CS 52 / LECTURENOTES on a COURSE in SYSTEMS PROGRAMMING . BY. . AIANC. SHAW DECEMBER 9, 1966 COMPUTER SCIENCE DEPARTMENT School
    CS 52 / , / . LECTURENOTES ON A COURSE iN SYSTEMS PROGRAMMING . BY. AIANC. SHAW $F) pq WEET n+KLUWD --. K~~NICALREPORT NO. 52 DECEMBER 9, 1966 These notes are based on the lecturei of Professor Niklaus Wirth which were given during the winter and spring of 1965/66 as CS 236a and part of CS 236b, Computer Science Department, Stanford University. COMPUTER SCIENCE DEPARTMENT School of Humanities and Sciences STANFORD UNIVERSITY . ,’ January 15, 1967 ERRATA in . ALAN c. SHAW, LECTURE NOTES.CN A COURSE IN SYSTEMS PROGRAMMING * . CS TR No. 52, Dec. 9, 1966 P* 17, line 5, read "Si+l'! for "Si+k" . P* 34, line 4, read "operand[O:m];" for "operands[O:m];" . P* 35, line 3, read "real or" for "real of" . P* 39, line -7, read "KDF-9" for "KDK-9" . P* 50, line -8, read "careful" for "cardful" . P* 5% add an arrow from "Data Channel" to "Memory" in the diagram. P* 74, last box on page, read "TSXf, 4" for "TSX 4,r" in all cases. P* 75, diagram, read "SQRT" for "S$RT" . P* 86, line 10, append "~2 := s2 + a[j] X b[jl;" , line -10, read "C[l:&l:n];" for "C[l:.!,l:m];" . F* 91, last paragraph, replace by 11 "Dijkstra has developed a solution to the more general problem where there are n processes, instead of only 2, operating in parallel. See K.nuth13 for a discussion and extension of Dijkstra's solution.". p. 100, left, insert between lines -6 and -7, "TRA EQ" . left, line -2, read "1" for "7" .
    [Show full text]
  • SIE 507 Information Systems Programming
    SIE 507 Information Systems Programming Course Description Coding and understanding of basic programming techniques are essential for students regardless of their field of studies. This course is tailored for graduate students with little to no previous programming experience that have a need for practical programming skills. Firstly, this course will introduce basic programming concepts (variables, conditions, loops, data structures, etc.), and the Python programming environment. The second half of this course will be a getting started guide for data analysis in Python including data manipulation and cleaning techniques. By the end of this course, students will be able to take tabular data, read it, clean it, manipulate it, and run basic statistical analyses using Python. (Lec. 3. Cr. 3.) Prerequisites SIE or MSIS graduate students or permission of the instructor Course text Python Programming: An Introduction to Computer Science by John M. Zelle, Ph.D. (Power-point slides, video guides, and other lecture materials will be available in Blackboard) Course Goals and Objectives • Introduce students to central concepts of information system development • Develop an understanding of software design processes • Acquire essential computer programming skills • Acquire skills in basic data analysis in Python Faculty Information Dr. Nimesha Ranasinghe School of Computing and Information Science 333 Boardman Hall [email protected] Grading, Class Policies and Course Expectations As a graduate level course, you are expected to exhibit high-quality work that demonstrates a sound understanding of the concepts and their complexity. Earning an “A” represents oral and written work that is of exceptionally high quality and demonstrates a superb understanding of the course material.
    [Show full text]
  • UW/CSE Systems Programming — CSE 333 Course Description Draft of September 14, 2009
    UW/CSE Systems Programming — CSE 333 Course Description Draft of September 14, 2009 Structural place in the curriculum • 4 credits (3 weekly lectures, 1 weekly section, no lab) • Pre-requisites: Hardware/Software Interface • Subsequent courses: The following courses would have this course as a pre-requisite: Computer Graph- ics, Computer Vision, Software for Embedded Systems. The following courses would have this course as recommended or strongly recommended: Operating Systems, Networks. It would also be useful to students in Databases, Compilers, and similar areas. • Taken by: Required for CE hardware track and students in other courses that list it as a prerequsite; elective for all other CS and CE students. • Catalog description: To be determined Course Overview / Goals The focus of this course is techniques for designing, developing, and debugging programs in C and C++, in- cluding programs that have multiple source files, communicate with the operating system, and potentially do asynchronous or parallel computation and I/O. The course would include tools like debuggers and Makefiles that are needed for effective programming in this environment, but that would not be the core intellectual component of the course. The focus would be programs that are “closer to the machine” than those in the Software Design and Implementation course, which would be complementary to the material covered here. A goal of this course is to have a single 300-level course that would provide introductory C/C++ competency so that relevant 400-level courses could focus on the material important to their particular area and not have to cover the basics taught here.
    [Show full text]
  • Systems Programmer Ii
    SYSTEMS PROGRAMMER II DISTINGUISHING FEATURES OF THE CLASS: This is a high level technical position responsible for generating and maintaining the operating systems, programs, systems design and other software required by a computer system and its user agencies. The work involves the investigation of new computer industry developments, such as software alternatives, systems productivity tools, design methodologies, documentation approaches and programming efficiency, and the preparation of recommendations for present and future departmental requirements. The position is distinguished from Systems Programmer I by the supervision received and the complexity of assignments. Work is performed under the general supervision of the Director of Computer Services. Supervision may be exercised over technical employees involved in systems programming. Does related work as required. TYPICAL WORK ACTIVITIES: Evaluates operating systems releases, upgrades, makes recommendations, installs and maintains the software; Develops and prepares operator instructions and documentation relating to the system programs; Acts as debugging expert for the computer center; Reviews new technical developments for applicability to operating systems and system software; Advises Programmers and Operators on system functions, determines optimum equipment configuration, and selects standards routines; Confers with administrative supervisor on program ideas to improve production output; Works with operations staff to determine and recommend to the Director increased hardware
    [Show full text]
  • CSE 410: Systems Programming C and POSIX
    CSE 410: Systems Programming C and POSIX Ethan Blanton Department of Computer Science and Engineering University at Buffalo Introduction Basic C Basic POSIX The C Toolchain More C Pointers Text I/O Compiling Summary Coming Up References C and POSIX In this course, we will use: The C programming language POSIX APIs C is a programming language designed for systems programming. POSIX is a standardized operating systems interface based on UNIX. The POSIX APIs are C APIs. © 2018 Ethan Blanton / CSE 410: Systems Programming Introduction Basic C Basic POSIX The C Toolchain More C Pointers Text I/O Compiling Summary Coming Up References Why C? There are dozens of programming languages. Why C? C is “high level” — but not very. C provides functions, structured programming, complex data types, and many other powerful abstractions …yet it also exposes many architectural details Most operating system kernels are written in C. © 2018 Ethan Blanton / CSE 410: Systems Programming Introduction Basic C Basic POSIX The C Toolchain More C Pointers Text I/O Compiling Summary Coming Up References Why POSIX? POSIX is a standardization of the UNIX API. Portable Operating System Interface …X? In the 80s and 90s, UNIX implementations became very fragmented. Interoperability suffered, and a standard was developed. POSIX is probably the most widely implemented OS API. All UNIX systems (Linux, BSD, etc.) macOS Many real-time operating systems (QNX, RTEMS, eCos, …) Microsoft Windows (sort of) © 2018 Ethan Blanton / CSE 410: Systems Programming Introduction Basic C Basic POSIX The C Toolchain More C Pointers Text I/O Compiling Summary Coming Up References But really …why? We had to choose something.
    [Show full text]
  • Training Delivery Options Interfacing CA-OPS/MVS with USS and Enterprise Event Management
    Service Assurance Tools Class Name ................................... Duration (Days) CA-OPS/MVS Installing CA-OPS/MVS ..........................................................3 Understanding & Using CA-OPS/MVS ....................................2 Constructing CA-OPS/MVS Applications ................................3 Understanding CA-OPS/MVS RDF & SSM ...............................2 Operating CA-OPS/MVS .........................................................1 Securing CA-OPS/MVS ...........................................................1 Configuring CA-OPS/MVS MSF .............................................1 Training Delivery Options Interfacing CA-OPS/MVS with USS and Enterprise Event Management ...........................................................................2 Installing and Unleashing Unicenter Automation Point .........5 CA-Automation Point Notification Manager Essentials ...........2 Local Classroom Connected Classroom CA-Operations Management CA-SYSVIEW Performance Management v14: Realtime Performance Monitoring 200 ...................................3 IMOD Processing and REXX Processing in SYSVIEW ..............2 Unicenter CA-Scheduler Job Management Release 11 Operational Training ..............................................................1 Exploiting SYSVIEW and GSS using REXX ..............................3 CA-Dynam/TLMS Release 11.5 Administrator Training .........2 CA-View for End Users ...........................................................1 Unicenter CA-Scheduler Job Management Release 11 Administrator
    [Show full text]