Colloquium Archive

Automotive ECS Development, Verification & Validation: Recent Trends & Challenges

S. Ramesh
Senior Tech Fellow
General Motors Research and Development Division

04/20/2022

Electronics, Control and Software (ECS) assets have taken a central place in today’s vehicles.  They have been ever increasing in content and exploding in complexity thanks to the demands of advanced driver assist systems, and highly automated driving features. In the recent times, there have been multiple evolutions that are underway in the development of ECS assets: (i) Introduction of AI/ML Components for feature implementations, (ii) Shift from traditional domain controllers to more centralized architecture, (iii) Adoption of agile software development, and Continuous Improvement/Continuous Deployment (CI/CD), (iv) from static to adaptive SW architectures. This talk will focus on the recent challenges to the development, verification & validation of ECS systems and how the industry is responding to these with solutions that include: (a) guidelines & standardization of AI/ML Component Development and V&V, (b) new safety processes for dealing with functional insufficiency, (c) system level modeling and analysis and (d) scenario-based verification.

The Quest for the Largest Known Prime Number

Landon Curt Noll
Retired from Cicso Systems

04/27/2022

More than just a mathematical curiosity, the quest to discover a new largest known prime requires the development of advanced computational techniques and the development of fault resilient software.  These computational techniques benefit a wide variety of applications from seismic analysis to large scale fluid dynamics.  The fault resilient methodologies benefit a wide range of application such as cryptography and deep space probe design.

The search for a new largest known prime has been ongoing for centuries.  In 1952, primality testing entered the realm of digital computers.  Computers have been used to construct proofs of primality for these enormous primes.  We have come a long way since the 1970s when the speaker, Landon Noll, as a student at Cal State East Bay (then CSUH), discovered a 6533-digit prime.  Today’s largest known prime is almost 25 million digits long!  Those seeking to break the record for the largest known prime have pushed the bounds of computing.

The calculations required to test extremely large numbers for primality must be fault resilient.  One must overcome compiler and assembler errors, errors introduced by the kernel, and hardware errors such as memory errors and CPU calculation errors.  The reason for such extreme programming is that the length of the primality search often exceeds the mean time to error of the calculating system.  The motivation for such extreme care lies in the fact that a slow and correct answer is infinitely preferable to a fast but incorrect answer. The world record goes neither to the fastest coder nor to the person with the fastest hardware but rather to the first result that is proven to be correct.

Knowledge of advanced mathematics is NOT required for this talk.

Spring 2022 Short Presentations Of Student Research

05/04/2022

Short presentations of research carried out by Sonoma State Computer Science Students.

Spring 2022 Short Presentations Of Student Research

05/11/2022

Short presentations of research carried out by Sonoma State Computer Science Students.

Live Ask Me Anything with Professional Programmer and Businessperson

Cameron Tully-Smith
Senior Software Engineer
Netmaker

08/30/2022

An SSU CS alum (who returned to get his MBA) that grew up programming, Cameron Tully-Smith has worked in a wide range of roles spanning early-stage startups to the largest multinationals in multiple industries.  In addition to writing great software, he is passionate about empowering people, being on great teams and coming up with unconventional solutions.  Come by and ask him anything you want, from what it's really like to work in various roles in the industry to what comes up in many interviews (from the hiring manager as well as the interviewee perspectives) and anything else you'd like.  He enjoys unusual, well thought out questions as well as spur of the moment discussions.  Outside of CS, his latest hacking includes taking Wilderness First Aid training and running ultramarathons which has so far resulted in his qualifying for the Western States Endurance Run (100 mile race) and running a 24-hour race.

Pages