| |
|
|
| |
| | Dr. Janusz Zalewski is an Associate Professor of Computer Science at Florida Gulf Coast University. Previously, he was on faculty in software engineering programs at the University of Central Florida, in Orlando, and at Embry-Riddle Aeronautical University, in Daytona Beach. Before taking a university position, he worked for various nuclear research institutions, including the Superconducting Super Collider Lab in Dallas, Texas, where he was a member of the Data Acquisition Group, and Lawrence Livermore National Laboratory in Livermore, California, where he worked for the Computer Safety and Reliability Center. He also worked on projects and consulted for a number of private companies, including Lockheed Martin, Harris, and Boeing. His major areas of research interests include: safety-critical computer systems, real-time multiprocessor and distributed systems, real-time software architectures, and software engineering education. He has published over 100 research papers and delivered several keynote speeches and invited talks at various professional conferences, including Assessment of Software Development Tools for Safety-Critical Real-Time Systems at the IFAC Workshop on Programmable Devices and Systems, Ostrava, Czech Republic (2003), Safety of Computer Control Systems: Challenges and Results in Software Development at the IFAC Conference on New Technologies for Computer Control, in Hong Kong, P.R. of China (2001), and Real-Time Software Architectures and Design Patterns: Fundamental Concepts and Their Consequences at the 24th IFAC/IFIP Workshop on Real-Time Programming, Schloss Dagstuhl, Germany (1999). His most recent tutorial, Software Development for Real-Time Safety-Critical Applications, was delivered at the 28th NASA/IEEE Software Engineering Workshop, in December 2003. Zalewski received an MS in electronic engineering and a Ph.D. in computer science from Warsaw University of Technology, in Poland, in 1973 and 1979, respectively. He was a Chairman of the IFIP Working Group 5.4 on Industrial Software Quality and of an IFAC Technical Committee on Safety of Computer Control Systems. He is also a member of the IEEE Computer Society. He currently serves on editorial boards of Annual Reviews in Control (a publication of IFAC) and Parallel and Distributed Computing Practices, and previously served on editorial boards for Control Engineering Practice, IEEE Computer, and IEEE Concurrency. |
| |
| |
|
Date Reviewed |
|
| |
1 - 8 of 8
reviews
|
|
|
 |
|
|
|
|
The Scottish book (2nd ed.)
Mauldin R., Birkhäuser Basel, New York, NY, 2015. 322 pp. Type: Book (978-3-319228-96-9)
The Scottish book is a legend among mathematicians and computer scientists. It has nothing to do with Scots or Scotland, and could rather be called the Polish book, as it took its name from the Scottish Café located in the town ...
|
Oct 28 2016 |
|
|
|
|
|
|
 Cyber-physical attacks: a growing invisible threat
Loukas G., Butterworth-Heinemann, Newton, MA, 2015. 270 pp. Type: Book (978-0-128012-90-1), Reviews: (2 of 2)
A cyberphysical system is generally considered to be an embedded system with network connectivity. Embedded systems are defined in this book, after Peter Marwedel [1], as “information processing systems embedded into a larger...
|
Feb 19 2016 |
|
|
|
|
|
|
Design thinking research: building innovation eco-systems
Leifer L., Plattner H., Meinel C., Springer Publishing Company, Incorporated, Cham, Switzerland, 2014. 275 pp. Type: Book (978-3-319013-02-2)
I first reached for this book because I have always wanted to know if there is anything structured in the otherwise chaotic process of inventing. The book approaches this problem from the point of view of collaborative design. It is a ...
|
Jul 11 2014 |
|
|
|
|
|
|
Embedded systems security: practical methods for safe and secure software and systems development
Kleidermacher D., Kleidermacher M., Newnes, Newton, MA, 2012. 416 pp. Type: Book (978-0-123868-86-2)
Security is defined in this book as “the ability of an entity to protect resources for which it bears protection responsibility.” This definition is as good as any other, although I would put more emphasis on the de...
|
Dec 28 2012 |
|
|
|
|
|
|
Real-time systems: design principles for distributed embedded applications (2nd ed.)
Kopetz H., Springer Publishing Company, Incorporated, New York, NY, 2011. 394 pp. Type: Book (978-1-441982-36-0)
Both the theory and practice of real-time systems have significantly evolved to the extent that 15 years in the development of a discipline looks like an era. This situation is reflected in this revised edition (the first edition was p...
|
Jan 18 2012 |
|
|
|
|
|
|
Design of multithreaded software: the entity-life modeling approach
Sandén B., Wiley-IEEE Computer Society Pr, Hoboken, NJ, 2011. 320 pp. Type: Book (978-0-470876-59-6)
The book deals with designing reactive systems using the entity-life modeling (ELM) approach, which the author invented and pursued. His first major publications on ELM appeared in 1989, in Communications of the ACM; earlier one...
|
Sep 20 2011 |
|
|
|
|
|
|
SCADA: supervisory control and data acquisition
Boyer S., International Society of Automation, Research Triangle Park, NC, 2010. 257 pp. Type: Book (978-1-936007-09-7)
SCADA, which stands for supervisory data acquisition and control, was initially developed and deployed during the 1960s [1]. Since then, the technology has spread into an amazing number of industrial applications. Today, SCADA systems ...
|
Jul 5 2011 |
|
|
|
|
|
|
Architecting dependable systems VI (LNCS 5835)
de Lemos R., Fabre J., Gacek C., Gadducci F., ter Beek M. Springer-Verlag, New York, NY, 2009. Type: Divisible Book
A system is defined to be dependable if reliance can be justifiably placed on the service it delivers. It is a definition adopted a few decades ago, originating from the work of the IFIP Working Group 10.4 on Dependable Computing and F...
|
Feb 17 2011 |
|
|
|
|
|
| |
|
|
| |
|
|
