A unified approach for combining different formalisms for hardware verification

The verification of control system software is critical to a host of technologies and industries, from aeronautics and medical technology to the cars we drive. The failure of controller software can cost people their lives. This book provides control engineers and computer scientists with an introduction to the formal techniques for analyzing and verifying this important class of software. Too often, control engineers are unaware of the issues surrounding the verification of software, while computer scientists tend to be unfamiliar with the specificities of controller software. The book provides a unified approach that is geared to graduate students in both fields, covering formal verification methods as well as the design and verification of controllers. It presents a wealth of new verification techniques for performing exhaustive analysis of controller software. These include new means to compute nonlinear invariants, the use of convex optimization tools, and methods for dealing with numerical imprecisions such as floating point computations occurring in the analyzed software. As the autonomy of critical systems continues to increase—as evidenced by autonomous cars, drones, and satellites and landers—the numerical functions in these systems are growing ever more advanced. The techniques presented here are essential to support the formal analysis of the controller software being used in these new and emerging technologies.

Download Full-text

Critical Pedagogy In Libraries: A Unified Approach

Journal of Critical Library and Information Studies ◽

10.24242/jclis.v1i1.15 ◽

2017 ◽

Vol 1 (1) ◽

Cited By ~ 1

Author(s):

Melissa M. Gustafson

Keyword(s):

Critical Pedagogy ◽

Information Literacy ◽

Literacy Instruction ◽

Information Science ◽

Academic Publishing ◽

Unified Approach ◽

Information Literacy Instruction ◽

Scholarly Communications ◽

Paolo Friere ◽

Foundational Work

Critical pedagogy originated in the social sciences during the mid-twentieth century with the foundational work of Paolo Friere. More recently in information science, James Elmborg and others have framed critical pedagogy through the lens of information literacy instruction. As a whole the philosophy is one which considers economic, political, and societal systems which influence the entire information life cycle from creation to consumption. Central to the adoption was the incorporation of learners as equals with valid and highly individualized experiences in academic discourse. Beyond information literacy instruction, critical pedagogy has the potential to also benefit and define the librarian's outreach and support role for the scholarly communications process. Scholarly communications encompasses both traditional academic publishing models (peer reviewed journals, conference presentations, etc.) and nontraditional channels (social media, open access, etc.) and is concerned with the information lifecycle as it relates to teaching research and scholarly work. In consideration of scholarly communications processes, issues of critical pedagogy including external market forces, privilege of information, systems of access, and consumption all play a defining role. A move to a more unified approach of critical pedagogy in libraries would highlight crucial issues of information literacy and scholarly communications while simultaneously augmenting the library's role across campus. The evolution of critical pedagogy in libraries is briefly discussed. Current scholarly communications practices in academic libraries as seen through the literature and by examining U.S. library websites is also reviewed. The author makes suggestions for meaningful inclusion of critical pedagogy in libraries through a unified approach to scholarly communications and information literacy programs.

Download Full-text