A highly influential Sudanese reformist thinker, Mahmud Muhammad Taha is regarded as a product of a dual legacy rooted in mystical Islam on the one hand and in the tradition of modernity on the other. Publicly executed in 1985 folowing his conviction of apostasy, Taha offered distinctly original interpretations of the Qur’an and a radical theory of Islamic prayer. In Quest for Divinity, Mohamed Mahmoud presents an in-depth and balanced treatment of Taha’s controversial yet significant thought. The author’s ability to provide access to relevant literature in both Arabic and English offers readers a rare view of the considerable nuance in Taha’s thought. With rich detail Mahmoud explores Taha’s theories of human freedom and his social message, referred to as "the second message of Islam" with its emphasis on political, economic, and social equality. Taha’s embrace of modernity is further assessed relative to his position on science, law, and art-areas that have always attracted Muslim modernists. Quest for Divinity will attract attention to Taha’s compelling but little-known intellectual contribution as a seminal modern reformer of Islam. Such recognition is long overdue and will enrich the current debates on Islam and modernity.
Model-driven Development for Embedded Software: Application to Communications for Drone Swarm describes the principles of model-oriented design used in the aeronautical field, specifically for the UAV (Unmanned Aerial Vehicle). The book focuses on designing an embedded system for drones to carry out ad hoc communication within a drone fleet. In this context, an original methodology for rapid prototyping of embedded systems is presented. This approach saves time for the verification and formal validation phases, contributing to certification of the Unmanned Aerial System (UAS). The book also addresses the more traditional verification phases that must be performed to verify accuracy of the system. This evaluation is carried out in simulation and by real experimentation. The various tools necessary for the implementation of this methodology are described to allow the reader to be able to implement independently. Finally, to illustrate the contribution of this original methodology, an example of embedded system development is presented in which the different phases of the methodology are explained to conceive, validate and test a new secure routing protocol developed for communications within a fleet of drones. - Describes the principles of model-oriented design used in the aeronautical field - Presents an original methodology of rapid prototyping of embedded systems - Presents a mode of development for embedded systems in the different phases
This will help us customize your experience to showcase the most relevant content to your age group
Please select from below
Login
Not registered?
Sign up
Already registered?
Success – Your message will goes here
We'd love to hear from you!
Thank you for visiting our website. Would you like to provide feedback on how we could improve your experience?
This site does not use any third party cookies with one exception — it uses cookies from Google to deliver its services and to analyze traffic.Learn More.